https://github.com/rari-capital/nova-invariants

Formal verification and fuzzing of Nova with DappTools.
https://github.com/rari-capital/nova-invariants

Last synced: about 2 months ago
JSON representation

Formal verification and fuzzing of Nova with DappTools.

• Host: GitHub
• URL: https://github.com/rari-capital/nova-invariants
• Owner: Rari-Capital
• License: agpl-3.0
• Created: 2021-09-12T19:36:09.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-09-26T00:34:57.000Z (over 3 years ago)
• Last Synced: 2024-08-05T01:09:38.513Z (5 months ago)
• Language: Solidity
• Size: 20.5 KB
• Stars: 9
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-dapptools - Nova Invariants

README

        
# nova-invariants

Formal verification and fuzzing of [Nova](https://github.com/rari-capital/nova) with DappTools.

## Getting Started

```sh

git clone https://github.com/Rari-Capital/nova-invariants.git

cd nova-invariants

make

```