Added "test_cell -noeval"

diff --git a/passes/tests/test_cell.cc b/passes/tests/test_cell.cc
index abac62231fd1acf1a4f27de32d81455320727663..fd5a32e4f406f39b97ca7ddea4a7c52b50542331 100644 (file)
--- 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;
                        }