kevm-pyk/__main__: silly logic error

Author: ehildenb

kevm-pyk/src/kevm_pyk/__main__.py

@@ -382,7 +382,7 @@ def prove_it(_id_and_cfg: Tuple[str, Tuple[KCFG, Path]]) -> bool:
                 _LOGGER.error(f'Proof failed: {_cfg_id}\n{foundry.pretty_print(result_state)}')
         _write_cfg(_cfg, _cfg_path)
         failure_nodes = cfg.frontier + cfg.stuck
-        return failure_nodes == 0
+        return len(failure_nodes) == 0
 
     with ProcessPool(ncpus=workers) as process_pool:
         results = process_pool.map(prove_it, kcfgs.items())