-
Alexandre Duret-Lutz authored
Fixes #368, suggested by František Blahoudek. * spot/twaalgos/isdet.cc, spot/twaalgos/isdet.hh (count_univbranch_states(), count_univbranch_edges()): New functions. * bin/common_aoutput.cc, bin/common_aoutput.hh: Add %u and variants. * NEWS: Mention these. * tests/core/alternating.test: Test them.
29e08a1a