-
Alexandre Duret-Lutz authored
* src/ltlvisit/length.cc (visit(multop*)): New function. "a & b & c" has length 5, not 4, even though it is stored as And(a,b,c). This caused reduc.test to fail on some formulae.
919fc298
To find the state of this project's repository at the time of any of these versions, check out the tags.