From ad56ad44c3bdd3d075a32879785a04e3e30491eb Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 24 Aug 2016 23:18:29 +0200
Subject: More yosys-smtbmc smtc features

---
 examples/smtbmc/demo3.smtc | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 examples/smtbmc/demo3.smtc

(limited to 'examples/smtbmc/demo3.smtc')

diff --git a/examples/smtbmc/demo3.smtc b/examples/smtbmc/demo3.smtc
new file mode 100644
index 000000000..f5e017cf0
--- /dev/null
+++ b/examples/smtbmc/demo3.smtc
@@ -0,0 +1,5 @@
+initial
+assume [rst]
+
+always -1
+assert (= [-1:mem] [mem])
-- 
cgit v1.2.3