From b19c926af8badd5d5ff84b4cd54e7f40de68c504 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 21 Feb 2015 22:03:54 +0100
Subject: [PATCH] sat docu change

---
 passes/sat/sat.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 9404a0d77..3d6aab467 100644
--- 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");
-- 
2.30.2