Certora setup - Githubissues

makerdao / lockstake

GNU Affero General Public License v3.0

19 stars 11 forks source link

Certora setup #37

Closed shoham-certora closed 4 months ago

shoham-certora commented 5 months ago

This pull request is only intended for presenting the setup for Certora verification.
Do not merge :exclamation: (yet).

sunbreak1211 commented 4 months ago

hey @shoham-certora, appreciate a lot this initial set up, we are merging this PR to a local branch certora and start from there to work with it. Let's keep the usual discussions via chat for support.