Missing block name

costa-group · Jan 7, 2025 · 78e02da · 78e02da
1 parent 6c6745a
commit 78e02da
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/execution/main_execution.py b/src/execution/main_execution.py
@@ -92,6 +92,7 @@ def analyze_single_cfg(cfg: CFG, final_dir: Path, args: argparse.Namespace):
             for block_name, sfs in jsons.items():
                 cfg_sfs_dir = sfs_final_dir.joinpath(str(i))
                 cfg_sfs_dir.mkdir(exist_ok=True, parents=True)
+                sfs["name"] = block_name
                 store_sfs_json(block_name, sfs, cfg_sfs_dir)
                 try:
                     _, time, solution_found = greedy_standalone(sfs)