-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dotty.cc: Add empty label to each cluster if both 's' and 'n' are used. * src/tgbatest/neverclaimread.test: Test it.
40317908
* src/tgbaalgos/dotty.cc: Add empty label to each cluster if both 's' and 'n' are used. * src/tgbatest/neverclaimread.test: Test it.