input_and_not_crossing_inputs used before assignment

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

GNU General Public License v3.0

4 stars 3 forks source link

Closed gaperez64 closed 3 years ago

gaperez64 commented 3 years ago

here you see the variable being compared before it being assigned in the second conjunct

michaelcadilhac commented 3 years ago

Correct, I'll fix this; how weird that my gcc does not complain...