• Alexandre Duret-Lutz's avatar
    bin: add %g options to print acceptance name · 75a1d6ac
    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
To find the state of this project's repository at the time of any of these versions, check out the tags.