fund-eq-of-dai-certora

Succinctly prove the fundamental equation of DAI failed to hold using the Certora prover. The bug was fixed.

Instructions

Install Certora CLI
Install solc-select
Use solc-select to install solc 0.8.13 via solc-select install 0.8.13
Clone this repository via git clone https://github.com/kmbarry1/fund-eq-of-dai-certora.git
Run via make certora-vat

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Vat.sol		Vat.sol
Vat.spec		Vat.spec