search

anmavrid / smart-contracts

https://cps-vo.org/group/smartcontracts
MIT License
119 stars 30 forks source link

Property5 implementation #12

Closed Atefeh-Zareh closed 1 year ago

Atefeh-Zareh commented 1 year ago

Implemented Property 5: can never happen