Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
readsave.test
Find file
Blame
History
Permalink
dotty: output label for unreachable state even if SCCs are shown
· ae501552
Alexandre Duret-Lutz
authored
Jan 23, 2015
* src/tgbaalgos/dotty.cc: Fix output of unreachable states. * src/tgbatest/readsave.test: Add test.
ae501552