diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-22 13:00:41 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-22 13:00:41 +0100 |
| commit | e8307cefd9c67420bf176655096a72978720e9ad (patch) | |
| tree | a399d119c9d226adb9153245a83099c6152ff89e | |
| parent | 39d25b212cb0b7ef11aeabea3c19877a31820d98 (diff) | |
| download | yosys-e8307cefd9c67420bf176655096a72978720e9ad.tar.gz yosys-e8307cefd9c67420bf176655096a72978720e9ad.tar.bz2 yosys-e8307cefd9c67420bf176655096a72978720e9ad.zip | |
Added "check -assert"
| -rw-r--r-- | passes/cmds/check.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc index 824131a7a..17b15caa0 100644 --- a/passes/cmds/check.cc +++ b/passes/cmds/check.cc @@ -49,6 +49,7 @@ struct CheckPass : public Pass { { int counter = 0; bool noinit = false; + bool assert_mode = false; size_t argidx; for (argidx = 1; argidx < args.size(); argidx++) { @@ -56,6 +57,10 @@ struct CheckPass : public Pass { noinit = true; continue; } + if (args[argidx] == "-assert") { + assert_mode = true; + continue; + } break; } extra_args(args, argidx, design); @@ -137,6 +142,9 @@ struct CheckPass : public Pass { } log("found and reported %d problems.\n", counter); + + if (assert_mode) + log_error("Found %d problems in 'check -assert'.\n", counter); } } CheckPass; |