• Alexandre Duret-Lutz's avatar
    stats: fix slow %s and inappropriate %S output · 413d2d6a
    Alexandre Duret-Lutz authored
    Fixes #269.
    * spot/twaalgos/stats.cc: Use twa_statistics instead of
    twa_sub_statistics when %t is not used.
    * bin/common_aoutput.cc: Likewise, also fix %S to use twa_statistics
    instead of num_states(), and document that %s,%t,%e all return
    statistics about the reachable part of the automaton.
    * tests/core/format.test: Add more tests.
    * NEWS: Document the issue.
To find the state of this project's repository at the time of any of these versions, check out the tags.