To run fairly quick correctness tests, please use

make sanity_check

To run the huge tests, please use

make stress

To clean the workspace, please use

make clean

To remove pregenerated tests, please use

make reset

You can regenerate them with

make generate

and

make solve

but it may take a while

For more information please see the Makefile