-
Alexandre Duret-Lutz authored
* src/ltlvisit/randomltl.cc (bunop_bounded_builder, bunop_bool_bounded_builder): Set the maximum value to 3 instead of 4, to speed up the test suite.
7514cc15
* src/ltlvisit/randomltl.cc (bunop_bounded_builder, bunop_bool_bounded_builder): Set the maximum value to 3 instead of 4, to speed up the test suite.