# EGraph Visualization Tests 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. | Test | Image | Inlined Leaves Image | Inlined Leaves Saturated Image | | ---- | ----- | -------------------- | -------------------------- | | [`diff_power_simple`](../tests/diff_power_simple.json) | ![svg file](./diff_power_simple.svg) | ![inlined leaves svg file](./diff_power_simple-inlined.svg) | ![inlined leaves saturated svg file](./diff_power_simple-inlined-saturated.svg) | | [`eqsolve`](../tests/eqsolve.json) | ![svg file](./eqsolve.svg) | ![inlined leaves svg file](./eqsolve-inlined.svg) | ![inlined leaves saturated svg file](./eqsolve-inlined-saturated.svg) | | [`fibonacci-demand`](../tests/fibonacci-demand.json) | ![svg file](./fibonacci-demand.svg) | ![inlined leaves svg file](./fibonacci-demand-inlined.svg) | ![inlined leaves saturated svg file](./fibonacci-demand-inlined-saturated.svg) | | [`fibonacci-split`](../tests/fibonacci-split.json) | ![svg file](./fibonacci-split.svg) | ![inlined leaves svg file](./fibonacci-split-inlined.svg) | ![inlined leaves saturated svg file](./fibonacci-split-inlined-saturated.svg) | | [`fibonacci`](../tests/fibonacci.json) | ![svg file](./fibonacci.svg) | ![inlined leaves svg file](./fibonacci-inlined.svg) | ![inlined leaves saturated svg file](./fibonacci-inlined-saturated.svg) | | [`lambda_if`](../tests/lambda_if.json) | ![svg file](./lambda_if.svg) | ![inlined leaves svg file](./lambda_if-inlined.svg) | ![inlined leaves saturated svg file](./lambda_if-inlined-saturated.svg) | | [`list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7`](../tests/list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7.json) | ![svg file](./list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7.svg) | ![inlined leaves svg file](./list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7-inlined.svg) | ![inlined leaves saturated svg file](./list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7-inlined-saturated.svg) | | [`math_powers`](../tests/math_powers.json) | ![svg file](./math_powers.svg) | ![inlined leaves svg file](./math_powers-inlined.svg) | ![inlined leaves saturated svg file](./math_powers-inlined-saturated.svg) | | [`path`](../tests/path.json) | ![svg file](./path.svg) | ![inlined leaves svg file](./path-inlined.svg) | ![inlined leaves saturated svg file](./path-inlined-saturated.svg) | | [`physics_scientific_unsolved_4h_ellisk_2019-07-20T18.05.46--bench000_it0`](../tests/physics_scientific_unsolved_4h_ellisk_2019-07-20T18.05.46--bench000_it0.json) | ![svg file](./physics_scientific_unsolved_4h_ellisk_2019-07-20T18.05.46--bench000_it0.svg) | ![inlined leaves svg file](./physics_scientific_unsolved_4h_ellisk_2019-07-20T18.05.46--bench000_it0-inlined.svg) | ![inlined leaves saturated svg file](./physics_scientific_unsolved_4h_ellisk_2019-07-20T18.05.46--bench000_it0-inlined-saturated.svg) | | [`tiny`](../tests/tiny.json) | ![svg file](./tiny.svg) | ![inlined leaves svg file](./tiny-inlined.svg) | ![inlined leaves saturated svg file](./tiny-inlined-saturated.svg) |