-
Alexandre Duret-Lutz authored
Fixes #289. * spot/twaalgos/stats.cc, spot/twaalgos/stats.hh, bin/common_aoutput.cc, bin/common_aoutput.hh: plug %g and %G into acc_cond::name() when arguments are given as %[arg]g. or %[arg]G. * tests/core/acc2.test: Add test case. * doc/org/randaut.org, NEWS: Document it.
75a1d6ac