CinRC / IRDC-CCSK

Java implementation of distributed reversible computation verification
https://spots.augusta.edu/caubert/cinrc/
GNU General Public License v3.0
4 stars 2 forks source link

Parenthesis not handled correctly #82

Closed peterbro1 closed 1 year ago

peterbro1 commented 1 year ago

"(a.(b+c))|('a.('c.d))" is not parsed correctly