-
Alexandre Duret-Lutz authored
* src/ltlvisit/length.cc: Fix computation for ltl::multop operator. "a&b&c" was reported with length 3, ignoring the "&" operators, because of a typo. * src/ltlvisit/length.hh: Fix description to correctly reflect this change intended since 2010-01-22. * src/ltltest/length.test, src/ltltest/length.cc: New files. * src/ltltest/Makefile.am: Add them.
984c715c
To find the state of this project's repository at the time of any of these versions, check out the tags.