nova-invariants
September 10, 2021 ยท View on GitHub
Formal verification and fuzzing of Nova with DappTools.
Getting Started
git clone https://github.com/Rari-Capital/nova-invariants.git
cd nova-invariants
make
September 10, 2021 ยท View on GitHub
Formal verification and fuzzing of Nova with DappTools.
git clone https://github.com/Rari-Capital/nova-invariants.git
cd nova-invariants
make