diff --git a/test_formal.sby b/test_formal.sby
index a97ba286341a5093834ccb4236b9714497079462..5db8f74cc5aeb88a4d40f74b2ece81ff375c431c 100644
--- a/test_formal.sby
+++ b/test_formal.sby
@@ -1,12 +1,5 @@
-[tasks]
-cover
-bmc
-
 [options]
-bmc: mode bmc
-cover: mode cover
 mode prove
-depth 128
 multiclock off
 
 [engines]