Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
ltl2tgba.test
Find file
Blame
History
Permalink
ltl2tgba: fix translation of !{xxx} when xxx reduces to false
· c083c0df
Alexandre Duret-Lutz
authored
Apr 03, 2013
* src/tgbaalgos/ltl2tgba_fm.cc: Typo. * src/tgbatest/ltl2tgba.test: Add a test case.
c083c0df