search

runtimeverification / gitbook-kontrol

https://docs.runtimeverification.com/kontrol
4 stars 3 forks source link

Remove a note on new `assert`s being unsupported #52

Closed palinatolmach closed 2 months ago

palinatolmach commented 2 months ago

We've added support some of the Foundry native asserts such as assertEq and should remove a note on them being unsupported.