Add Invariant and Property-Based Test Examples #32
Comments
moodmosaic
added a commit
that referenced
this issue
Oct 26, 2024
The new `watchdog.sh` script monitors the current directory for changes, and runs a specified command when detected. Useful for continuously running the examples. Usage: $ ./example/watchdog.sh ./rv example/ reverse --type=test Related to: #32
moodmosaic
added a commit
that referenced
this issue
Oct 28, 2024
The new `watchdog.sh` script monitors the current directory for changes, and runs a specified command when detected. Useful for continuously running the examples. Usage: $ ./example/watchdog.sh ./rv example/ reverse --type=test Related to: #32
|
Resolved by #40. Partially, at least. Instead of adding past scenarios from CityCoins we are going to fuzz sBTC contracts. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
To further refine the rendezvous tool before fuzz testing sBTC and other contracts, we should expand our set of examples. Here are some suggestions:
Invariants
stacks-increaseimpacting stacking rewardsset-city-walletProperties
These are just initial ideas off the top of my head, and we can always add more later.
The idea here is to use these tests both as documentation for users and for us, to sharpen our skills when we need to perform with rendezvous effectively.
The text was updated successfully, but these errors were encountered: