Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltltest
tostring.test
Find file
Blame
History
Permalink
* src/ltlvisit/tostring.cc: Fix output of F0, F1, G0, G1, X0, and X1.
· 2f7d46d7
Alexandre Duret-Lutz
authored
Jan 30, 2004
* src/ltltest/tostring.test: Test these.
2f7d46d7