From 08e2fa978c1b47d79cced52adcca5f0fc811589d Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 9 Jun 2013 21:55:53 +0200
Subject: [PATCH] Renamed "sat_solve" pass to "sat"

---
 passes/sat/Makefile.inc             |  2 +-
 passes/sat/example.ys               | 16 ++++++++--------
 passes/sat/{sat_solve.cc => sat.cc} |  8 ++++----
 3 files changed, 13 insertions(+), 13 deletions(-)
 rename passes/sat/{sat_solve.cc => sat.cc} (99%)

diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc
index 873f97468..4a9094bf3 100644
--- a/passes/sat/Makefile.inc
+++ b/passes/sat/Makefile.inc
@@ -1,3 +1,3 @@
 
-OBJS += passes/sat/sat_solve.o
+OBJS += passes/sat/sat.o
 
diff --git a/passes/sat/example.ys b/passes/sat/example.ys
index c532c1fb4..11f5b924b 100644
--- a/passes/sat/example.ys
+++ b/passes/sat/example.ys
@@ -2,12 +2,12 @@
 read_verilog example.v
 proc; opt_clean
 
-sat_solve -set y 1'b1 example001
-sat_solve -set y 1'b1 example002
-sat_solve -set y_sshl 8'hf0 -set y_sshr 8'hf0 -set sh 4'd3 example003
-sat_solve -set y 1'b1 example004
-sat_solve -show rst,counter -set-at 3 y 1'b1 -seq 4 example004
-
-sat_solve -prove y 1'b0 -show rst,counter,y example004
-sat_solve -prove y 1'b0 -show rst,counter,y -set-at 1 rst 1'b1 -seq 1 example004
+sat -set y 1'b1 example001
+sat -set y 1'b1 example002
+sat -set y_sshl 8'hf0 -set y_sshr 8'hf0 -set sh 4'd3 example003
+sat -set y 1'b1 example004
+sat -show rst,counter -set-at 3 y 1'b1 -seq 4 example004
+
+sat -prove y 1'b0 -show rst,counter,y example004
+sat -prove y 1'b0 -show rst,counter,y -set-at 1 rst 1'b1 -seq 1 example004
 
diff --git a/passes/sat/sat_solve.cc b/passes/sat/sat.cc
similarity index 99%
rename from passes/sat/sat_solve.cc
rename to passes/sat/sat.cc
index 6a548ae5b..a13f83183 100644
--- a/passes/sat/sat_solve.cc
+++ b/passes/sat/sat.cc
@@ -469,13 +469,13 @@ static void print_qed()
 	log("\n");
 }
 
-struct SatSolvePass : public Pass {
-	SatSolvePass() : Pass("sat_solve", "solve a SAT problem in the circuit") { }
+struct SatPass : public Pass {
+	SatPass() : Pass("sat", "solve a SAT problem in the circuit") { }
 	virtual void help()
 	{
 		//   |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
 		log("\n");
-		log("    sat_solve [options] [selection]\n");
+		log("    sat [options] [selection]\n");
 		log("\n");
 		log("This command solves a SAT problem defined over the currently selected circuit\n");
 		log("and additional constraints passed as parameters.\n");
@@ -749,5 +749,5 @@ struct SatSolvePass : public Pass {
 			}
 		}
 	}
-} SatSolvePass;
+} SatPass;
  
-- 
2.30.2