Merge pull request #2 from junkil-park/jpark/fix-prover-spec-pool-con…

…version Add a Prover mockup spec
aptos-labs · Dec 18, 2024 · caa440e · caa440e
2 parents a91cc3f + feb6a24
commit caa440e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/aptos-move/framework/aptos-framework/sources/staking_contract.spec.move b/aptos-move/framework/aptos-framework/sources/staking_contract.spec.move
@@ -619,4 +619,12 @@ spec aptos_framework::staking_contract {
             resource_addr
         ) && acc.guid_creation_num + 12 >= account::MAX_GUID_CREATION_NUM;
     }
+
+    spec destroy_staking_contract(
+        staker: &signer,
+        operator: address,
+    ): (u64, address, OwnerCapability, u64, Pool, SignerCapability) {
+        // TODO: temporary mockup
+        pragma verify = false;
+    }
 }