sat docu change

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 9404a0d77b1693845ddf6d1a3e062322f434e809..3d6aab467ded7e74488db21775a93287dde1413c 100644 (file)
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -940,6 +940,9 @@ struct SatPass : public Pass {
                log("        set up a sequential problem with <N> time steps. The steps will\n");
                log("        be numbered from 1 to N.\n");
                log("\n");
+               log("        note: for large <N> it can be significantly faster to use\n");
+               log("        -tempinduct-baseonly -maxsteps <N> instead of -seq <N>.\n");
+               log("\n");
                log("    -set-at <N> <signal> <value>\n");
                log("    -unset-at <N> <signal>\n");
                log("        set or unset the specified signal to the specified value in the\n");