• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/randomltl.cc, src/ltlvisit/randomltl.hh: New files. · e366b081
    Alexandre Duret-Lutz authored
    * src/ltlvisit/Makefile.am (ltlvisit_HEADERS,
    libltlvisit_la_SOURCES): Distribute them.
    * src/ltltest/randltl.cc: New file.
    * src/ltltest/Makefile.am (LDADD): Link with ../libspot.la directly.
    (noinst_PROGRAMS, randltl_SOURCES): New.
    (EXTRA_DIST, CLEANFILES): The list of random formulae is now generated.
    * src/ltltest/formulae.txt: Delete.
    * src/ltltest/reduc.test: Use randltl to generate formulae.
    * src/ltlvisit/length.cc (length_visitor): Fix computation
    of the length of multops.
    * src/ltlvisit/length.hh (length): Document the length of multops.
    e366b081