mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-07 18:05:24 +00:00
Merge pull request #1805 from hofstee/master
fix typo in `write_smt2` help
This commit is contained in:
commit
eb2bf340fb
|
@ -1394,7 +1394,7 @@ struct Smt2Backend : public Backend {
|
|||
log("\n");
|
||||
log("For this proof we create the following template (test.tpl).\n");
|
||||
log("\n");
|
||||
log(" ; we need QF_UFBV for this poof\n");
|
||||
log(" ; we need QF_UFBV for this proof\n");
|
||||
log(" (set-logic QF_UFBV)\n");
|
||||
log("\n");
|
||||
log(" ; insert the auto-generated code here\n");
|
||||
|
|
|
@ -5350,7 +5350,7 @@ never transition from a non-zero value to a zero value.
|
|||
|
||||
For this proof we create the following template (test.tpl).
|
||||
|
||||
; we need QF_UFBV for this poof
|
||||
; we need QF_UFBV for this proof
|
||||
(set-logic QF_UFBV)
|
||||
|
||||
; insert the auto-generated code here
|
||||
|
|
Loading…
Reference in a new issue