diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-05-19 16:13:44 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-05-19 16:13:44 +0000 |
| commit | 1053032a81ea54847bfef944d3c5481de8a2046e (patch) | |
| tree | 2df5df4bd276886156c8680f4e819174afdd1d14 /backends | |
| parent | 299ab76a093f0cde95fdc0214b371140d7f339b9 (diff) | |
| download | yosys-1053032a81ea54847bfef944d3c5481de8a2046e.tar.gz yosys-1053032a81ea54847bfef944d3c5481de8a2046e.tar.bz2 yosys-1053032a81ea54847bfef944d3c5481de8a2046e.zip | |
smtbmc: Fix typo in error message.
Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/smt2/smtbmc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index f1f55be1c..cc3ebb129 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -1511,7 +1511,7 @@ else: # not tempind, covermode smt_assert_consequent(get_constr_expr(constr_assumes, i)) print_msg("Re-solving with appended steps..") if smt_check_sat() == "unsat": - print("%s Cannot appended steps without violating assumptions!" % smt.timestamp()) + print("%s Cannot append steps without violating assumptions!" % smt.timestamp()) retstatus = "FAILED" break print_anyconsts(step) |