Skip to content
  • Alexandre Duret-Lutz's avatar
    stats: preparatory change of the implementation of %c · 4f0a630d
    Alexandre Duret-Lutz authored
    This now holds the scc_info while processing the %c sequence, so that
    using options we will soon be able to specify which SCC to count.
    
    * spot/twaalgos/stats.hh, spot/twaalgos/stats.cc (printable_scc_info):
    New class.
    (state_printer): Use it for %c.
    * spot/misc/formater.hh: Add move assignment.
    * bin/common_aoutput.hh, bin/common_aoutput.cc: Use printable_scc_info
    for %C.
    * tests/core/format.test: Add a quick test case to make sure nothing
    changed.
    4f0a630d