We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents ee6f886 + dc050c9 commit 1a9ceeaCopy full SHA for 1a9ceea
1 file changed
README.md
@@ -68,6 +68,7 @@ npx rv <path-to-clarinet-project> <contract-name> <type>
68
Here's an example of a test that checks reversing a list twice returns the original:
69
70
```clarity
71
+;;[#env(simnet)]
72
(define-public (test-reverse-list (seq (list 127 uint)))
73
(begin
74
(asserts!
@@ -91,6 +92,7 @@ rv example reverse test
91
92
Here's a Clarity invariant to detect a bug in the example counter contract:
93
94
95
96
(define-read-only (invariant-counter-gt-zero)
97
(let
98
((increment-num-calls (default-to u0 (get called (map-get? context "increment"))))
0 commit comments