Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
tests
core
alternating.test
Find file
Blame
History
Permalink
remfin: call remove_alternation if needed
· f5b261d8
Alexandre Duret-Lutz
authored
Dec 24, 2016
* spot/twaalgos/remfin.cc: Here. * tests/core/alternating.test: Add a test case.
f5b261d8