Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
det.test
Find file
Blame
History
Permalink
simulation: do not mark codeterministic automata as deterministic
· 46d96794
Alexandre Duret-Lutz
authored
Jan 22, 2015
* src/tgbaalgos/simulation.cc: Here. * src/tgbatest/det.test: Test it.
46d96794