Skip to content
  • Alexandre Duret-Lutz's avatar
    ltlsynt: fix lar.old implementation · fe340ae8
    Alexandre Duret-Lutz authored
    * bin/ltlsynt.cc: Make sure to_parity_old() receive a deterministic
    automaton, for correctness.   Also call reduce_parity() afterward,
    to match what was done in 2.8.7.
    * tests/core/ltlsynt.test: Include lar.old in the comparison of all
    results to make sure it give the same result as the other 3
    algorithms.
    fe340ae8