smtbmc formal

test_formal.sby

+[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