From 2256b6f7103d41aa506cc47c9784f6000a96c3db Mon Sep 17 00:00:00 2001
From: Kia <kia@special-circumstanc.es>
Date: Tue, 9 Mar 2021 21:02:37 -0700
Subject: [PATCH] test_formal.sby

---
 test_formal.sby | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/test_formal.sby b/test_formal.sby
index a97ba28..5db8f74 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]
-- 
GitLab