mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00
Code Activity

fix error message formatting

Browse source
This commit is contained in:
N. Engelhardt 2020-07-21 14:48:38 +02:00
parent 494f84b0ab
commit 7bae1b8bba
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_engine_btor.py
View file

@ -131,7 +131,7 @@ def run(mode, job, engine_idx, engine):
assert common_state.produced_cex == 0 assert common_state.produced_cex == 0
else: else:
job.error("engine_{}: BTOR solver '{}' is currently not supported in cover mode.".format(solver_args[0])) job.error("engine_{}: BTOR solver '{}' is currently not supported in cover mode.".format(engine_idx, solver_args[0]))
if (common_state.produced_cex < common_state.expected_cex) and line == "sat": if (common_state.produced_cex < common_state.expected_cex) and line == "sat":
assert common_state.wit_file == None assert common_state.wit_file == None