From e8307cefd9c67420bf176655096a72978720e9ad Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 22 Feb 2015 13:00:41 +0100
Subject: [PATCH] Added "check -assert"

---
 passes/cmds/check.cc | 8 ++++++++
 1 file changed, 8 insertions(+)

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;