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

Improved an error message

This commit is contained in:
Clifford Wolf 2015-01-28 00:46:00 +01:00
parent df64542288
commit 9ebf803cbe
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
passes/sat/sat.cc
View File

@ -1166,7 +1166,7 @@ struct SatPass : public Pass {
log_cmd_error("Got -tempinduct but nothing to prove!\n"); log_cmd_error("Got -tempinduct but nothing to prove!\n");
if (prove_skip && tempinduct) if (prove_skip && tempinduct)
log_cmd_error("Options -prove-skip and -tempinduct don't work with each other.\n"); log_cmd_error("Options -prove-skip and -tempinduct don't work with each other. Use -seq instead of -prove-skip.\n");
if (prove_skip >= seq_len && prove_skip > 0) if (prove_skip >= seq_len && prove_skip > 0)
log_cmd_error("The value of -prove-skip must be smaller than the one of -seq.\n"); log_cmd_error("The value of -prove-skip must be smaller than the one of -seq.\n");