search

Certora / tutorials-code

Certora tutorials
MIT License
19 stars 24 forks source link

Vacuity examples #29

Closed shoham-certora closed 11 months ago

shoham-certora commented 11 months ago

Small examples of vacuous rules and using @withrevert.