This is a list of all the tests in the tests
directory. Each test is a JSON file that is loaded into an EGraph and then rendered as an SVG.
This is a list of all the tests in the tests
directory. Each test is a JSON file that is loaded into an EGraph and then rendered as an SVG.