Add rendezvous property tests for SIP-031's claim

Author: BowTiedRadone

stackslib/src/chainstate/stacks/boot/sip-031.tests.clar

@@ -1,5 +1,6 @@
 (define-constant ERR_FAILED_ASSERTION u999)
 (define-constant ERR_UNWRAP u998)
+(define-constant ERR_UNEXPECTED_RESULT u997)
 
 (define-data-var minted-initial bool false)
 
@@ -68,4 +69,61 @@
       )
     )
   )
+)
+
+;; Tests that the proper error is returned if the caller is not allowed.
+(define-public (test-claim-not-allowed)
+  (ok
+    (and
+      (not (is-eq (var-get recipient) contract-caller tx-sender))
+      (asserts!
+        (is-eq
+          (unwrap-err! (claim) (err ERR_UNWRAP))
+          ERR_NOT_ALLOWED
+        )
+        (err ERR_FAILED_ASSERTION)
+      )
+    )
+  )
+)
+
+;; Tests that the proper error is returned if there is nothing to claim.
+(define-public (test-claim-nothing-to-claim)
+  (ok
+    (and
+      (is-eq (var-get recipient) contract-caller tx-sender)
+      (is-eq (calc-claimable-amount burn-block-height) u0)
+      (asserts!
+        (is-eq
+          (unwrap-err! (claim) (err ERR_UNWRAP))
+          ERR_NOTHING_TO_CLAIM
+        )
+        (err ERR_FAILED_ASSERTION)
+      )
+    )
+  )
+)
+
+;; Tests that the claim is successful if the caller is allowed, and the
+;; recipient balance increases by the claimable amount.
+(define-public (test-claim-allowed)
+  (ok
+    (let (
+        (recipient-balance-before (stx-get-balance (var-get recipient)))
+        (claimable (calc-claimable-amount burn-block-height))
+      )
+      (and
+        (is-eq (var-get recipient) contract-caller tx-sender)
+        (> claimable u0)
+        (asserts! (is-ok (claim)) (err ERR_UNEXPECTED_RESULT))
+        (asserts!
+          (is-eq
+            (stx-get-balance (var-get recipient))
+            (+ recipient-balance-before claimable)
+          )
+          (err ERR_FAILED_ASSERTION)
+        )
+      )
+    )
+  )
 )