evm-redex-tests

Several examples of tests for Solidity contracts using evm-redex packages.

Build status: ok passing tests valid license

Authors

rodrigogribeiroλ6cfadb5

Documentation

testing

Tags

License

(Apache-2.0 OR MIT)

Language families

Racket

Last updated

Monday, August 24th, 2026 10:38:07am (UTC)

Ring

Conflicts

None

Dependencies

Build platforms

any platform

Most recent build results

Compiled successfully: transcript
Tests succeeded: transcript

Version Exceptions

Version	Source	Checksum
default	https://github.com/lives-group/evm-redex-tests.git#main	59c977d38c5c1f1d05838528a0a566eaaa6defd3

Last checked

Tuesday, August 25th, 2026 2:27:22am (UTC)

Last edited

Monday, August 24th, 2026 10:38:07am (UTC)

Date added

Monday, August 24th, 2026 10:38:07am (UTC)

Modules

evm-redex-tests/unit/sim-test.rkt
evm-redex-tests/sim/examples/revert.rkt
evm-redex-tests/unit/precompiles-test.rkt
evm-redex-tests/conformance/blockchain-test.rkt
evm-redex-tests/web3bugs/5-vader-lockunits/props.rkt
evm-redex-tests/open-zeppelin/properties/ERC20.rkt
evm-redex-tests/pbt/coverage-test.rkt
evm-redex-tests/asm/examples/arithmetic.rkt
evm-redex-tests/voting/ballot-props.rkt
evm-redex-tests/asm/examples/loop.rkt
evm-redex-tests/pbt/equivalence-test.rkt
evm-redex-tests/pbt/pbt-test.rkt
evm-redex-tests/unit/forks-test.rkt
evm-redex-tests/web3bugs/6-beebots-free-mint/props.rkt
evm-redex-tests/coverage/coverage.rkt
evm-redex-tests/unit/zero-length-copy-test.rkt
evm-redex-tests/erc721/erc721-props.rkt
evm-redex-tests/unit/asm-test.rkt
evm-redex-tests/erc20/erc20-props.rkt
evm-redex-tests/conformance/runner.rkt
evm-redex-tests/asm/examples/calldata.rkt
evm-redex-tests/conformance/blockchain-harness.rkt
evm-redex-tests/storage/storage-props.rkt
evm-redex-tests/web3bugs/5-vader-asymmetric-share/props.rkt
evm-redex-tests/open-zeppelin/properties/ERC721.rkt
evm-redex-tests/unit/interp-test.rkt
evm-redex-tests/web3bugs/5-vader-liquidity-units/props.rkt
evm-redex-tests/scribblings/testing.scrbl
evm-redex-tests/sim/examples/block.rkt
evm-redex-tests/unit/m4-test.rkt
evm-redex-tests/unit/m3-test.rkt
evm-redex-tests/unit/m2-test.rkt
evm-redex-tests/unit/sim-examples-test.rkt
evm-redex-tests/web3bugs/6-beebots-tradevalid/props.rkt
evm-redex-tests/coverage/coverage-demo.rkt
evm-redex-tests/web3bugs/20-spartan-poolshareweight/props.rkt
evm-redex-tests/equivalence/equivalence.rkt
evm-redex-tests/unit/m13-test.rkt
evm-redex-tests/unit/mpt-test.rkt
evm-redex-tests/open-zeppelin/properties/ERC1155.rkt
evm-redex-tests/unit/words-test.rkt
evm-redex-tests/blind-auction/blind-auction-props.rkt
evm-redex-tests/open-zeppelin/properties/AccessControl.rkt
evm-redex-tests/web3bugs/5-vether-addexcluded/props.rkt
evm-redex-tests/conformance/conformance-test.rkt
evm-redex-tests/unit/exec-racket-test.rkt
evm-redex-tests/scribblings/pbt-tutorial.scrbl
evm-redex-tests/unit/asm-examples-test.rkt
evm-redex-tests/open-zeppelin/properties/Ownable.rkt
evm-redex-tests/conformance/harness.rkt
evm-redex-tests/sim/examples/erc20.rkt
evm-redex-tests/equivalence/erc20-equivalence.rkt