search

egraphs-good / extraction-gym

benchmarking e-graph extraction
MIT License
24 stars 15 forks source link

faster-greedy-dag extractor sometimes returns cycles. #27

Closed TrevorHansen closed 6 months ago

TrevorHansen commented 6 months ago

Using the tests in #26 

target/release/extraction-gym data/fuzz/8.json --extractor=faster-greedy-dag --out=output/fuzz/8.json-faster-greedy-dag.json

Get this error:

thread 'main' panicked at 'assertion failed: self.find_cycles(&egraph, &egraph.root_eclasses).is_empty()', src/extract/mod.rs:79:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace