Alexandre Duret-Lutz authored
Failures could be reported against "Comp(Ni)*Comp(Pj)" when it was really "Comp(Nj)*Comp(Pi)" that failed. * bin/ltlcross.cc: Here. * NEWS: Mention the bug.a2f0b228
To find the state of this project's repository at the time of any of these versions, check out the tags.