PwnedNoMore Invariant Examples

Base

Two main test frameworks are supported: Hardhat and Forge.

This example folder supports both at the same time.

Build

# As Hardhat repo
yarn install
yarn hardhat compile

# As Forge repo
git submodule update --init
forge build

Run tests

Currently, PNM invariants could only be run with Forge framework.

forge test