|
43 | 43 | ;; Property tests
|
44 | 44 |
|
45 | 45 | ;; Helper to set up the Rendezvous testing environment for the property testing
|
46 |
| -;; routine. The naming adheres to Rendezvous property test convention, which |
47 |
| -;; allows this function to be picked up during property testing runs. |
| 46 | +;; routine. This will eventually be picked up during property testing runs. |
48 | 47 | (define-public (test-initial-mint-helper)
|
49 | 48 | (initial-mint-helper)
|
50 | 49 | )
|
51 | 50 |
|
52 |
| -;; Helper to transfer extra STX amounts to the contract. The naming adheres to |
53 |
| -;; Rendezvous property test convention, which allows this function to be picked |
54 |
| -;; up during property testing runs. |
| 51 | +;; Helper to transfer extra STX amounts to the contract. This will eventually |
| 52 | +;; be picked up during property testing runs. |
55 | 53 | (define-public (test-extra-transfer-helper (ustx-amount uint))
|
56 | 54 | (extra-transfer-to-contract-helper ustx-amount)
|
57 | 55 | )
|
|
188 | 186 | ;; Invariants
|
189 | 187 |
|
190 | 188 | ;; Public wrapper for initial mint setup, required for Rendezvous invariant
|
191 |
| -;; testing. Rendezvous randomly calls public functions during invariant testing |
192 |
| -;; runs, so this exposes the initial mint helper as a public function that can |
193 |
| -;; be selected and called. |
| 189 | +;; testing. This will eventually be picked up during invariant testing runs. |
194 | 190 | (define-public (initial-mint-helper-invariant-runs)
|
195 | 191 | (if
|
196 | 192 | (is-eq (initial-mint-helper) (ok true))
|
|
200 | 196 | )
|
201 | 197 |
|
202 | 198 | ;; Public wrapper for extra STX transfers to the contract for Rendezvous
|
203 |
| -;; invariant testing. Rendezvous randomly calls public functions during |
204 |
| -;; invariant testing, so this exposes the extra transfer helper as a public |
205 |
| -;; function that can be selected during test runs. |
| 199 | +;; invariant testing. This will eventually be picked up during invariant |
| 200 | +;; testing runs. |
206 | 201 | (define-public (extra-transfer-helper-invariant-runs (ustx-amount uint))
|
207 | 202 | (if
|
208 | 203 | (is-eq (extra-transfer-to-contract-helper ustx-amount) (ok true))
|
|
0 commit comments