History

Hsiao-Wei Wang d12c2a3b73 Add EIP4844 random tests		2022-11-18 04:55:59 +08:00
..
Makefile	Add EIP4844 random tests	2022-11-18 04:55:59 +08:00
README.md	update readme for pytest	2021-08-25 11:01:26 -07:00
generate.py	Add EIP4844 random tests	2022-11-18 04:55:59 +08:00
main.py	Add EIP4844 random tests	2022-11-18 04:55:59 +08:00
requirements.txt	move to code-gen under new test generator	2021-08-24 11:56:15 -07:00

README.md

Randomized tests

Randomized tests in the format of sanity blocks tests, with randomized operations.

Information on the format of the tests can be found in the sanity test formats documentation.

To generate test sources

$ make

The necessary commands are in the Makefile, as the only target.

The generated files are committed to the repo so you should not need to do this.

To run tests

Each of the generated test does produce a pytest test instance but by default is currently skipped. Running the test via the generator (see next) will trigger any errors that would arise during the running of pytest.

To generate spec tests (from the generated files)

Run the test generator in the usual way.

E.g. from the root of this repo, you can run:

$ make gen_random