• Alexandre Duret-Lutz's avatar
    Speed up the obligation test. · ef317685
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/minimize.cc (minimize_obligation): Do not
    minimize aut_neg_f, complement min_aut_f instead.
    * src/tgbaalgos/minimize.hh: Adjust description.
    ef317685