Closed rtjoa closed 6 months ago
See the output here: https://github.com/egraphs-good/eggcc/tree/script-output/benchmarks/for_debugging/passing
To regenerate, go to benchmarks/for_debugging then:
benchmarks/for_debugging
# input file output dir ./dump_one.sh ../passing/bril/core/bitshift.bril passing/bril/core # all benchmarks: ./dump_all.sh
See the output here: https://github.com/egraphs-good/eggcc/tree/script-output/benchmarks/for_debugging/passing
To regenerate, go to
benchmarks/for_debugging
then: