Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
ltl2tgba.test
Find file
Blame
History
Permalink
* src/tgba/ltl2tgba.cc (ltl_trad_visitor::visit): Handle F and G.
· fe6ca2a7
Alexandre Duret-Lutz
authored
Jun 10, 2003
* src/tgbatest/ltl2tgba.test: Use F and G.
fe6ca2a7