#94: Fixed an issue where an empty graph would be passed to the templ…

…ate manager
LP-RG · Nov 4, 2024 · d77c2b7 · d77c2b7
1 parent a27d457
commit d77c2b7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/sxpat/xplore.py b/sxpat/xplore.py
@@ -376,6 +376,8 @@ def optimize_constants(specs_obj: Specifications, initial_error_threshold: int)
 
         # load graph for next iteration
         graph = AnnotatedGraph(verilog_filename, is_clean=False)
+        if graph.num_gates == 0:
+            break
         graph.extract_subgraph(specs_obj)
 
     # revert state