sybila / biodivine-lib-bdd

A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
MIT License
20 stars 4 forks source link

Avoid recursion in the parser #56

Open daemontus opened 1 month ago

daemontus commented 1 month ago

This does not seem to be too much of a problem, but there are some extreme cases (see res/test_expressions/079.bnet) where the parser could overflow the stack limit. At the moment, this is mitigated by detecting parentheses and skipping the operator detection step for that token.