Run Kontrol on benchmark contracts

runtimeverification / kontrol

BSD 3-Clause "New" or "Revised" License

55 stars 9 forks source link

Closed palinatolmach closed 6 months ago

palinatolmach commented 11 months ago

We should make sure Kontrol can vefify the following tests from an open-source security course:

One from Solady
One manually crafted hard-to-read example) — Kontrol correctly identifies the reverting node but does not report it as failing

palinatolmach commented 6 months ago

Closing as we've managed to run Kontrol on a Solady (https://github.com/runtimeverification/kontrol-solady) function and the course example.