search

Trust-Machines / BNS-V2

MIT License
10 stars 3 forks source link

[DRAFT] Stateful testing setup #67

Open moodmosaic opened 1 month ago

moodmosaic commented 1 month ago

This is the skeleton to be used primarily for writing all stateful BNS-V2 tests. See each commit for details.

Patotking12 commented 1 month ago

Hey guys! Thanks for this! This is huge and hopefully will take BNS to the limit, please let me know if you need anything

moodmosaic commented 1 month ago

Hey @Patotking12, thanks! 👍 Given the number of invariant cases, you're more than welcome to add some of them.

Feel free to add invariants like @BowTiedRadone is doing here.

Keep each commit simple, adding just one invariant if possible. Avoid helper functions until you see the rule of three and need to refactor. From PoX-4, we learned to start with simple commits and make things more DRY later.

If you have any questions, we're happy to help. Thank you 🙏