search

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

Ignore whitespace when parsing from string data #61

Closed daemontus closed 3 weeks ago

daemontus commented 3 weeks ago

While transferring BDD data, it is possible that some whitespace is added to the BDD string representation (e.g. a newline at the end of a file, etc.). This whitespace is not relevant in that case, so the parser can ignore it.

daemontus commented 3 weeks ago

Fixed in e805cd36f8a4707d242c7216ba01c3f63e9a35dc.