-
* src/ltlvisit/length.cc: Consider length of all Boolean expressions combined in a multop as one. * src/ltltest/length.test: Test it.
02334867
* src/ltlvisit/length.cc: Consider length of all Boolean expressions combined in a multop as one. * src/ltltest/length.test: Test it.