test_graph.txt
Launching the solver on the attached graph causes the code to panic. The error arises during the preprocessing of the graph. However, if one comments out the triangle rule, i.e. lines 179-215 in rule_based_reducer.rs, the error disappears.
Steps to reproduce:
- after cloning and compiling with cargo build --release --features="cli", simply run:
./target/release/arboretum-cli < test_graph.txt
thread 'main' panicked at src/solver.rs:371:33:
partial td computed after reduction rules is invalid: Not Connected
note: run with RUST_BACKTRACE=1 environment variable to display a backtrace
test_graph.txt
Launching the solver on the attached graph causes the code to panic. The error arises during the preprocessing of the graph. However, if one comments out the triangle rule, i.e. lines 179-215 in rule_based_reducer.rs, the error disappears.
Steps to reproduce:
./target/release/arboretum-cli < test_graph.txt
thread 'main' panicked at src/solver.rs:371:33:
partial td computed after reduction rules is invalid: Not Connected
note: run with
RUST_BACKTRACE=1environment variable to display a backtrace