SSoelvsten
commented
2 months ago - Adds dumping of BDDs during reachability analysis of McNet benchmark
- Adds RelProd benchmark that reuse these BDDs.
- Fixes multiple bugs in the Lib-BDD parser for the Apply (and now also RelProd) benchmark.