296.80/300.03 [29329] Failed to execute script irankfinder 296.80/300.03 Exception ignored in: 296.80/300.03 Traceback (most recent call last): 296.80/300.03 File "z3/z3.py", line 298, in __del__ 296.80/300.03 File "z3/z3.py", line 496, in as_ast 296.80/300.03 File "z3/z3core.py", line 2348, in Z3_sort_to_ast 296.80/300.03 File "src/cysignals/signals.pyx", line 320, in cysignals.signals.python_check_interrupt 296.80/300.03 cysignals.signals.AlarmInterrupt: 296.80/300.03 Traceback (most recent call last): 296.80/300.03 File "lpi/solvers/z3Solver.py", line 56, in transform 296.80/300.03 File "lpi/constraints.py", line 158, in get 296.80/300.03 File "lpi/expressions.py", line 300, in get 296.80/300.03 File "z3/z3.py", line 2198, in __rmul__ 296.80/300.03 File "z3/z3.py", line 1234, in _mk_bin 296.80/300.03 File "z3/z3core.py", line 1643, in Z3_mk_mul 296.80/300.03 File "z3/z3core.py", line 1332, in Check 296.80/300.03 ctypes.ArgumentError: argument 1: : 296.80/300.03 296.80/300.03 The above exception was the direct cause of the following exception: 296.80/300.03 296.80/300.03 Traceback (most recent call last): 296.80/300.03 File "irankfinder.py", line 350, in 296.80/300.03 File "irankfinder.py", line 181, in launch 296.80/300.03 File "irankfinder.py", line 226, in launch_file 296.80/300.03 File "irankfinder.py", line 253, in analyse 296.80/300.03 File "termination/__init__.py", line 141, in analyse 296.80/300.03 File "partialevaluation/__init__.py", line 61, in control_flow_refinement 296.80/300.03 File "partialevaluation/__init__.py", line 111, in partialevaluate 296.80/300.03 File "genericparser/Cfg.py", line 133, in build_polyhedrons 296.80/300.03 File "genericparser/Cfg.py", line 140, in remove_unsat_edges 296.80/300.03 File "lpi/solvers/z3Solver.py", line 111, in add 296.80/300.03 File "lpi/solvers/z3Solver.py", line 45, in transform 296.80/300.03 File "lpi/solvers/z3Solver.py", line 45, in 296.80/300.03 File "lpi/solvers/z3Solver.py", line 59, in transform 296.80/300.03 Exception 296.80/300.04 EOF