History

Alex Stokes 14518d4d64 update name of utility module to be more specific		2021-08-25 11:15:59 -07:00
..
Makefile	update makefile to use correct python version	2021-08-25 11:15:27 -07:00
README.md	update readme for pytest	2021-08-25 11:01:26 -07:00
generate.py	update name of utility module to be more specific	2021-08-25 11:15:59 -07:00
main.py	move to code-gen under new test generator	2021-08-24 11:56:15 -07: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