Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
ltl2tgba.cc
Find file
Blame
History
Permalink
Changes in order to pass sanity tests
· 9319b0ca
Ala-Eddine Ben-Salem
authored
Apr 11, 2012
and
Alexandre Duret-Lutz
committed
Aug 21, 2012
* src/tgbatest/ltl2tgba.cc, src/ta/Makefile.am, README: code style
9319b0ca