search

sillydan1 / aaltitoad

Extendable verification engine and simulator for Tick Tock Automata constructs
GNU General Public License v3.0
6 stars 1 forks source link

Guards with parentheses that checks on interesting variables are not parsed properly #14

Closed sillydan1 closed 1 year ago

sillydan1 commented 3 years ago

This may result in weird behavior if used.

sillydan1 commented 2 years ago

This will be fixed in version v1.0.0 (see #37 for progress)