riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

write_smt2: fix SMT-LIB tutorial URL

This commit is contained in:
whitequark 2020-08-29 20:02:35 +00:00 committed by GitHub
parent f752023556
commit c1fff52477
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/smt2/smt2.cc
View File

@ -1403,7 +1403,7 @@ struct Smt2Backend : public Backend {
log(" the given option as a `(set-option ...)` command in the SMT-LIBv2.\n"); log(" the given option as a `(set-option ...)` command in the SMT-LIBv2.\n");
log("\n"); log("\n");
log("[1] For more information on SMT-LIBv2 visit http://smt-lib.org/ or read David\n"); log("[1] For more information on SMT-LIBv2 visit http://smt-lib.org/ or read David\n");
log("R. Cok's tutorial: http://www.grammatech.com/resources/smt/SMTLIBTutorial.pdf\n"); log("R. Cok's tutorial: https://smtlib.github.io/jSMTLIB/SMTLIBTutorial.pdf\n");
log("\n"); log("\n");
log("---------------------------------------------------------------------------\n"); log("---------------------------------------------------------------------------\n");
log("\n"); log("\n");