├── .github └── workflows │ ├── pull-request.yml │ └── push-to-main.yaml ├── .gitignore ├── .gitmodules ├── Makefile ├── README.md ├── foundry.toml ├── src ├── AdditionExample.sol └── Basic4626Deposit.sol └── test ├── Interfaces.sol ├── OpenTests.t.sol ├── WrappedTests.t.sol └── handlers ├── LpHandler.sol └── TransferHandler.sol /.github/workflows/pull-request.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/.github/workflows/pull-request.yml -------------------------------------------------------------------------------- /.github/workflows/push-to-main.yaml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/.gitmodules -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/README.md -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/foundry.toml -------------------------------------------------------------------------------- /src/AdditionExample.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/src/AdditionExample.sol -------------------------------------------------------------------------------- /src/Basic4626Deposit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/src/Basic4626Deposit.sol -------------------------------------------------------------------------------- /test/Interfaces.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/test/Interfaces.sol -------------------------------------------------------------------------------- /test/OpenTests.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/test/OpenTests.t.sol -------------------------------------------------------------------------------- /test/WrappedTests.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/test/WrappedTests.t.sol -------------------------------------------------------------------------------- /test/handlers/LpHandler.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/test/handlers/LpHandler.sol -------------------------------------------------------------------------------- /test/handlers/TransferHandler.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lucas-manuel/invariant-examples/HEAD/test/handlers/TransferHandler.sol --------------------------------------------------------------------------------