Skip to content
  • Alexandre Duret-Lutz's avatar
    stats: fix slow %s and inappropriate %S output · 20a4959f
    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.
    20a4959f
To find the state of this project's repository at the time of any of these versions, check out the tags.