You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Proposed change: Create a regression that checks std library contracts. I propose we use stubs to verify the contracts without having to fork the standard library for now.
Motivation: The standard library is a great verification candidate and being able to add contracts to some of their public API can benefit Kani users directly and indirectly.
The text was updated successfully, but these errors were encountered:
Proposed change: Create a regression that checks std library contracts. I propose we use stubs to verify the contracts without having to fork the standard library for now.
Motivation: The standard library is a great verification candidate and being able to add contracts to some of their public API can benefit Kani users directly and indirectly.
The text was updated successfully, but these errors were encountered: