Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
simulation.cc
Find file
Blame
History
Permalink
simulation: does not preserve !unambiguous, !semi-deterministic
· ada81853
Alexandre Duret-Lutz
authored
Dec 30, 2016
* spot/twaalgos/simulation.cc: Reset those to maybe. * tests/core/semidet.test: Add some tests.
ada81853