Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
complementation.test
Find file
Blame
History
Permalink
* src/tgba/tgbacomplement.cc: Fix the transformation from
· a160b350
Guillaume Sadegh
authored
Jul 07, 2009
Streett to TGBA. * src/tgbatest/complementation.test: Modify tests.
a160b350