├── .github └── workflows │ └── test.yml ├── .gitignore ├── .gitmodules ├── README.md ├── assets ├── echidna.png ├── echidna_foobytes.png ├── forge.png ├── forge_foobytes.png └── forge_inv.png ├── foundry.toml ├── src ├── Foo.sol └── FooBytes.sol └── test ├── EchidnaFoo.sol ├── EchidnaFooBytes.sol ├── Foo.t.sol └── FooBytes.t.sol /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/.gitmodules -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/README.md -------------------------------------------------------------------------------- /assets/echidna.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/assets/echidna.png -------------------------------------------------------------------------------- /assets/echidna_foobytes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/assets/echidna_foobytes.png -------------------------------------------------------------------------------- /assets/forge.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/assets/forge.png -------------------------------------------------------------------------------- /assets/forge_foobytes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/assets/forge_foobytes.png -------------------------------------------------------------------------------- /assets/forge_inv.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/assets/forge_inv.png -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/foundry.toml -------------------------------------------------------------------------------- /src/Foo.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/src/Foo.sol -------------------------------------------------------------------------------- /src/FooBytes.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/src/FooBytes.sol -------------------------------------------------------------------------------- /test/EchidnaFoo.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/test/EchidnaFoo.sol -------------------------------------------------------------------------------- /test/EchidnaFooBytes.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/test/EchidnaFooBytes.sol -------------------------------------------------------------------------------- /test/Foo.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/test/Foo.t.sol -------------------------------------------------------------------------------- /test/FooBytes.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clabby/echidna-vs-forge/HEAD/test/FooBytes.t.sol --------------------------------------------------------------------------------