From 9ea8f5ee6f88efc5a8f35e523734f50f4bfab341 Mon Sep 17 00:00:00 2001
From: Kia <kia@special-circumstanc.es>
Date: Sat, 6 Mar 2021 19:02:39 -0700
Subject: [PATCH] smtbmc formal

---
 test_formal.sby | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 test_formal.sby

diff --git a/test_formal.sby b/test_formal.sby
new file mode 100644
index 0000000..a97ba28
--- /dev/null
+++ b/test_formal.sby
@@ -0,0 +1,26 @@
+[tasks]
+cover
+bmc
+
+[options]
+bmc: mode bmc
+cover: mode cover
+mode prove
+depth 128
+multiclock off
+
+[engines]
+smtbmc
+
+[script]
+read_ilang toplevel.il
+prep -top top
+proc
+opt
+fsm
+flatten
+show -format dot -notitle
+
+
+[files]
+toplevel.il
\ No newline at end of file
-- 
GitLab