• Alexandre Duret-Lutz's avatar
    sat-minimize: more statistics. · 55ee18b9
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc: Record
    statistics about intermediate automata if SPOT_SATLOG is set to some
    filename, and display intermediate automata if SPOT_SATSHOW is set.
    * bench/dtgbasat/stat.sh, bench/dtgbasat/stats.sh,
    bench/dtgbasat/tabl.pl, bench/dtgbasat/tabl1.pl,
    bench/dtgbasat/tabl2.pl, bench/dtgbasat/tabl3.pl,
    bench/dtgbasat/tabl4.pl: Gather these extra statistics.
    55ee18b9
dtbasat.cc 22.4 KB