search

Certora / tutorials-code

Certora tutorials
MIT License
19 stars 24 forks source link

Winner manipulation spec #12

Open Czar102 opened 1 year ago

Czar102 commented 1 year ago

This presents a winner manipulation spec and contract example.