Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#366
Incorrect UBA
This was reported to me by Simon Jantsch:
ltl2tgba -U -B -f 'F(Ga | Gb)'
Is not unambiguous :-(