• Alexandre Duret-Lutz's avatar
    ltlcross: add a --products=N option · 9b82d755
    Alexandre Duret-Lutz authored
    * src/bin/ltlcross.cc: Implement the new option.  Average the product
    statistics on all products.
    * src/tgbatest/basimul.test, src/tgbatest/ltlcross.test,
    src/tgbatest/ltlcross2.test, bench/ltl2tgba/tools: Use the new option.
    * NEWS: Mention it.
    9b82d755