* src/tgbaalgos/dotty.cc: Fix output of unreachable states. * src/tgbatest/readsave.test: Add test.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored