├── .github └── workflows │ └── test-pr-golden.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── README.md ├── foundry.toml ├── funding.json ├── remappings.txt ├── src ├── ERC1155 │ ├── ERC1155Abstract.sol │ ├── ERC1155Features.sol │ ├── ERC1155Security.sol │ ├── ERC1155Standard.sol │ └── ERC1155Test.sol ├── ERC20 │ ├── ERC20Abstract.sol │ ├── ERC20MetadataTest.sol │ ├── Heavy │ │ ├── ERC20Standard.sol │ │ ├── ERC20Test.sol │ │ └── ERC20TestNoAddOn.sol │ └── Light │ │ ├── ERC20Features.sol │ │ ├── ERC20Security.sol │ │ ├── ERC20Standard.sol │ │ └── ERC20Test.sol ├── ERC4626 │ ├── ERC4626Abstract.sol │ ├── ERC4626Security.sol │ ├── Heavy │ │ ├── ERC4626Features.sol │ │ ├── ERC4626Standard.sol │ │ └── ERC4626Test.sol │ └── Light │ │ ├── ERC4626Features.sol │ │ ├── ERC4626Standard.sol │ │ └── ERC4626Test.sol ├── ERC721 │ ├── ERC721Abstract.sol │ ├── Heavy │ │ ├── ERC721Features.sol │ │ ├── ERC721Security.sol │ │ ├── ERC721Standard.sol │ │ └── ERC721Test.sol │ └── Light │ │ ├── ERC721Features.sol │ │ ├── ERC721Security.sol │ │ ├── ERC721Standard.sol │ │ └── ERC721Test.sol ├── ERCAbstract.sol ├── interfaces │ ├── ERCx721Interface.sol │ ├── IERC721.sol │ └── IERC721Metadata.sol └── mocks │ ├── ERC721IncorrectReceiver.sol │ └── ERC721Receiver.sol └── test ├── local ├── ERC1155MockTest.t.sol ├── ERC20MockTest.t.sol ├── ERC4626MockTest.t.sol └── ZeroAddressTest.t.sol ├── remote ├── ERC1155PostDeploymentTest.sol ├── ERC20PostDeploymentHeavyTest.sol ├── ERC20PostDeploymentLightTest.sol ├── ERC4626PostDeploymentHeavyTest.sol ├── ERC4626PostDeploymentLightTest.sol ├── ERC721PostDeploymentHeavyTest.sol ├── ERC721PostDeploymentLightTest.sol ├── USDCTest.t.sol ├── USDTTest.t.sol └── XMPLTest.t.sol └── scripts ├── expected-output.json └── run-tests.sh /.github/workflows/test-pr-golden.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/.github/workflows/test-pr-golden.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/README.md -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/foundry.toml -------------------------------------------------------------------------------- /funding.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/funding.json -------------------------------------------------------------------------------- /remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/remappings.txt -------------------------------------------------------------------------------- /src/ERC1155/ERC1155Abstract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC1155/ERC1155Abstract.sol -------------------------------------------------------------------------------- /src/ERC1155/ERC1155Features.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC1155/ERC1155Features.sol -------------------------------------------------------------------------------- /src/ERC1155/ERC1155Security.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC1155/ERC1155Security.sol -------------------------------------------------------------------------------- /src/ERC1155/ERC1155Standard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC1155/ERC1155Standard.sol -------------------------------------------------------------------------------- /src/ERC1155/ERC1155Test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC1155/ERC1155Test.sol -------------------------------------------------------------------------------- /src/ERC20/ERC20Abstract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC20/ERC20Abstract.sol -------------------------------------------------------------------------------- /src/ERC20/ERC20MetadataTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC20/ERC20MetadataTest.sol -------------------------------------------------------------------------------- /src/ERC20/Heavy/ERC20Standard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC20/Heavy/ERC20Standard.sol -------------------------------------------------------------------------------- /src/ERC20/Heavy/ERC20Test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC20/Heavy/ERC20Test.sol -------------------------------------------------------------------------------- /src/ERC20/Heavy/ERC20TestNoAddOn.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC20/Heavy/ERC20TestNoAddOn.sol -------------------------------------------------------------------------------- /src/ERC20/Light/ERC20Features.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC20/Light/ERC20Features.sol -------------------------------------------------------------------------------- /src/ERC20/Light/ERC20Security.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC20/Light/ERC20Security.sol -------------------------------------------------------------------------------- /src/ERC20/Light/ERC20Standard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC20/Light/ERC20Standard.sol -------------------------------------------------------------------------------- /src/ERC20/Light/ERC20Test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC20/Light/ERC20Test.sol -------------------------------------------------------------------------------- /src/ERC4626/ERC4626Abstract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC4626/ERC4626Abstract.sol -------------------------------------------------------------------------------- /src/ERC4626/ERC4626Security.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC4626/ERC4626Security.sol -------------------------------------------------------------------------------- /src/ERC4626/Heavy/ERC4626Features.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC4626/Heavy/ERC4626Features.sol -------------------------------------------------------------------------------- /src/ERC4626/Heavy/ERC4626Standard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC4626/Heavy/ERC4626Standard.sol -------------------------------------------------------------------------------- /src/ERC4626/Heavy/ERC4626Test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC4626/Heavy/ERC4626Test.sol -------------------------------------------------------------------------------- /src/ERC4626/Light/ERC4626Features.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC4626/Light/ERC4626Features.sol -------------------------------------------------------------------------------- /src/ERC4626/Light/ERC4626Standard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC4626/Light/ERC4626Standard.sol -------------------------------------------------------------------------------- /src/ERC4626/Light/ERC4626Test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC4626/Light/ERC4626Test.sol -------------------------------------------------------------------------------- /src/ERC721/ERC721Abstract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC721/ERC721Abstract.sol -------------------------------------------------------------------------------- /src/ERC721/Heavy/ERC721Features.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC721/Heavy/ERC721Features.sol -------------------------------------------------------------------------------- /src/ERC721/Heavy/ERC721Security.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC721/Heavy/ERC721Security.sol -------------------------------------------------------------------------------- /src/ERC721/Heavy/ERC721Standard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC721/Heavy/ERC721Standard.sol -------------------------------------------------------------------------------- /src/ERC721/Heavy/ERC721Test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC721/Heavy/ERC721Test.sol -------------------------------------------------------------------------------- /src/ERC721/Light/ERC721Features.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC721/Light/ERC721Features.sol -------------------------------------------------------------------------------- /src/ERC721/Light/ERC721Security.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC721/Light/ERC721Security.sol -------------------------------------------------------------------------------- /src/ERC721/Light/ERC721Standard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC721/Light/ERC721Standard.sol -------------------------------------------------------------------------------- /src/ERC721/Light/ERC721Test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERC721/Light/ERC721Test.sol -------------------------------------------------------------------------------- /src/ERCAbstract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/ERCAbstract.sol -------------------------------------------------------------------------------- /src/interfaces/ERCx721Interface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/interfaces/ERCx721Interface.sol -------------------------------------------------------------------------------- /src/interfaces/IERC721.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/interfaces/IERC721.sol -------------------------------------------------------------------------------- /src/interfaces/IERC721Metadata.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/interfaces/IERC721Metadata.sol -------------------------------------------------------------------------------- /src/mocks/ERC721IncorrectReceiver.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/mocks/ERC721IncorrectReceiver.sol -------------------------------------------------------------------------------- /src/mocks/ERC721Receiver.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/src/mocks/ERC721Receiver.sol -------------------------------------------------------------------------------- /test/local/ERC1155MockTest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/local/ERC1155MockTest.t.sol -------------------------------------------------------------------------------- /test/local/ERC20MockTest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/local/ERC20MockTest.t.sol -------------------------------------------------------------------------------- /test/local/ERC4626MockTest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/local/ERC4626MockTest.t.sol -------------------------------------------------------------------------------- /test/local/ZeroAddressTest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/local/ZeroAddressTest.t.sol -------------------------------------------------------------------------------- /test/remote/ERC1155PostDeploymentTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/ERC1155PostDeploymentTest.sol -------------------------------------------------------------------------------- /test/remote/ERC20PostDeploymentHeavyTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/ERC20PostDeploymentHeavyTest.sol -------------------------------------------------------------------------------- /test/remote/ERC20PostDeploymentLightTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/ERC20PostDeploymentLightTest.sol -------------------------------------------------------------------------------- /test/remote/ERC4626PostDeploymentHeavyTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/ERC4626PostDeploymentHeavyTest.sol -------------------------------------------------------------------------------- /test/remote/ERC4626PostDeploymentLightTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/ERC4626PostDeploymentLightTest.sol -------------------------------------------------------------------------------- /test/remote/ERC721PostDeploymentHeavyTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/ERC721PostDeploymentHeavyTest.sol -------------------------------------------------------------------------------- /test/remote/ERC721PostDeploymentLightTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/ERC721PostDeploymentLightTest.sol -------------------------------------------------------------------------------- /test/remote/USDCTest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/USDCTest.t.sol -------------------------------------------------------------------------------- /test/remote/USDTTest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/USDTTest.t.sol -------------------------------------------------------------------------------- /test/remote/XMPLTest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/remote/XMPLTest.t.sol -------------------------------------------------------------------------------- /test/scripts/expected-output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/scripts/expected-output.json -------------------------------------------------------------------------------- /test/scripts/run-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/ercx-tests/HEAD/test/scripts/run-tests.sh --------------------------------------------------------------------------------