Made examples/smtbmc/demo1.v more interesting

diff --git a/examples/smtbmc/demo1.v b/examples/smtbmc/demo1.v
index d9be415138a2afa54145c653dd8a4bc544569895..567dde1483e9307cd188bbb31875c8045da9e294 100644 (file)
--- 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