Bring back a formal verification rule for cancel (#314)

* Bring back some rules * Remove swap
CKS-Systems · Dec 7, 2024 · 7255c73 · 7255c73
1 parent b1f8d09
commit 7255c73
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/programs/manifest/rules.json b/programs/manifest/rules.json
@@ -72,6 +72,12 @@
       "prover_options": [],
       "cargo_features": []
     },
+    {
+      "name": "rule_cancel_order_bid",
+      "expected_result": "Verified",
+      "prover_options": [],
+      "cargo_features": []
+    },
     {
       "name": "rule_cancel_order_ask",
       "expected_result": "Verified",