diff --git a/test_formal.sby b/test_formal.sby
new file mode 100644
index 0000000000000000000000000000000000000000..a97ba286341a5093834ccb4236b9714497079462
--- /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