diff options
Diffstat (limited to 'scripts/smt2-bmc/async.py')
| -rw-r--r-- | scripts/smt2-bmc/async.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/smt2-bmc/async.py b/scripts/smt2-bmc/async.py index 76edeb6..0d13ba6 100644 --- a/scripts/smt2-bmc/async.py +++ b/scripts/smt2-bmc/async.py @@ -22,6 +22,7 @@ def timestamp(): secs = int(time() - start_time) return "+ %6d [%3d:%02d:%02d] " % (secs, secs // (60*60), (secs // 60) % 60, secs % 60) +print("Solver: %s" % solver) smt.write("(set-logic QF_AUFBV)") regs_a = list() @@ -310,7 +311,7 @@ for step in range(steps): if words > 0: print("running verilog test bench...") - os.system("iverilog -o async_tb -s testbench async_tb.v async.v ../../picorv32.v && ./async_tb") + os.system("iverilog -o async_tb -s testbench async_tb.v main.v ../../picorv32.v && ./async_tb") break |