-
Alexandre Duret-Lutz authored
* src/ltlvisit/randomltl.hh (random_ltl): Split this class into... (random_formula, random_ltl): ... these. * src/ltlvisit/randomltl.cc: New
7c7704f9
* src/ltlvisit/randomltl.hh (random_ltl): Split this class into... (random_formula, random_ltl): ... these. * src/ltlvisit/randomltl.cc: New