A G feature is still wrong

sillydan1 / aaltitoad

Extendable verification engine and simulator for Tick Tock Automata constructs

GNU General Public License v3.0

6 stars 1 forks source link

Closed sillydan1 closed 2 years ago

sillydan1 commented 3 years ago

The flipped version of E F-queries has not been implemented correctly.

This is what happens when you code late at night

sillydan1 commented 2 years ago

Closing until It breaks again