Skip to content
  • Alexandre Duret-Lutz's avatar
    autfilt: --count · 0d710f96
    Alexandre Duret-Lutz authored
    * src/bin/autfilt.cc: Add a --count option.
    * src/tgbatest/randaut.test: Test autfilt's --count and --states.
    0d710f96