From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 2 Sep 2016 11:54:24 +0000 (+0200)
Subject: Made examples/smtbmc/demo1.v more interesting
X-Git-Tag: yosys-0.7~85^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=068d5bc02ffea9ba627bbf7151fdb36500eae0f2;p=yosys.git

Made examples/smtbmc/demo1.v more interesting
---

diff --git a/examples/smtbmc/demo1.v b/examples/smtbmc/demo1.v
index d9be41513..567dde148 100644
--- a/examples/smtbmc/demo1.v
+++ b/examples/smtbmc/demo1.v
@@ -9,7 +9,7 @@ module demo1(input clk, input addtwo, output iseven);
 
 `ifdef FORMAL
 	assert property (cnt != 15);
-	initial assume (!cnt[3] && !cnt[0]);
+	initial assume (!cnt[2]);
 `endif
 endmodule