Remove expected to be violated rules

CKS-Systems · Nov 21, 2024 · 7cfd5f2 · 7cfd5f2
1 parent 2d04c83
commit 7cfd5f2
Showing 1 changed file with 0 additions and 24 deletions.
diff --git a/programs/manifest/rules.json b/programs/manifest/rules.json
@@ -60,42 +60,18 @@
       "prover_options": [],
       "cargo_features": []
     },
-    {
-      "name": "rule_cancel_order_by_index_bid",
-      "expected_result": "Violated",
-      "prover_options": [],
-      "cargo_features": []
-    },
     {
       "name": "rule_cancel_order_by_index_ask",
       "expected_result": "Verified",
       "prover_options": [],
       "cargo_features": []
     },
-    {
-      "name": "rule_cancel_order_bid",
-      "expected_result": "Violated",
-      "prover_options": [],
-      "cargo_features": []
-    },
     {
       "name": "rule_cancel_order_ask",
       "expected_result": "Verified",
       "prover_options": [],
       "cargo_features": []
     },
-    {
-      "name": "rule_cancel_order_trader_integrity_bid",
-      "expected_result": "Violated",
-      "prover_options": [],
-      "cargo_features": []
-    },
-    {
-      "name": "rule_cancel_order_trader_integrity_ask",
-      "expected_result": "Violated",
-      "prover_options": [],
-      "cargo_features": []
-    },
     {
       "name": "rule_cancel_order_by_index_no_revert_bid",
       "expected_result": "Verified",