From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 25 Sep 2015 15:27:18 +0000 (+0200)
Subject: Added "test_cell -noeval"
X-Git-Tag: yosys-0.6~128
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ddcfc99f8c23a2a7e9f41eeed5504e10215bee14;p=yosys.git

Added "test_cell -noeval"
---

diff --git a/passes/tests/test_cell.cc b/passes/tests/test_cell.cc
index abac62231..fd5a32e4f 100644
--- a/passes/tests/test_cell.cc
+++ b/passes/tests/test_cell.cc
@@ -552,6 +552,9 @@ struct TestCellPass : public Pass {
 		log("    -nosat\n");
 		log("        do not check SAT model or run SAT equivalence checking\n");
 		log("\n");
+		log("    -noeval\n");
+		log("        do not check const-eval models\n");
+		log("\n");
 		log("    -v\n");
 		log("        print additional debug information to the console\n");
 		log("\n");
@@ -570,6 +573,7 @@ struct TestCellPass : public Pass {
 		bool verbose = false;
 		bool constmode = false;
 		bool nosat = false;
+		bool noeval = false;
 
 		int argidx;
 		for (argidx = 1; argidx < GetSize(args); argidx++)
@@ -619,6 +623,10 @@ struct TestCellPass : public Pass {
 				nosat = true;
 				continue;
 			}
+			if (args[argidx] == "-noeval") {
+				noeval = true;
+				continue;
+			}
 			if (args[argidx] == "-v") {
 				verbose = true;
 				continue;
@@ -772,7 +780,8 @@ struct TestCellPass : public Pass {
 						Backend::backend_call(design, &vlog_file, "<test_cell -vlog>", "verilog -selected -noexpr");
 						uut_names.push_back(uut_name);
 					}
-					run_eval_test(design, verbose, nosat, uut_name, vlog_file);
+					if (!noeval)
+						run_eval_test(design, verbose, nosat, uut_name, vlog_file);
 				}
 				delete design;
 			}