hard timeout on solve calls

CPMpy · May 16, 2024 · ed9cbd4 · ed9cbd4
1 parent 91a3750
commit ed9cbd4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/benchmarks/run_benchmarks.py b/benchmarks/run_benchmarks.py
@@ -73,6 +73,7 @@ def signal_handler(signum, frame):
 
 print(xmlmodels)
 for xmlmodel in xmlmodels:
+    print(xmlmodel)
     model = None
     def parse():
         parser = ParserXCSP3(xmlmodel)