search

Certora / tutorials-code

Certora tutorials
MIT License
19 stars 24 forks source link

Changed borda sanity check to basic #31

Closed shoham-certora closed 10 months ago

shoham-certora commented 10 months ago

Changed due to too many sanity failures with "advanced".