-
Alexandre Duret-Lutz authored
* src/tgbaalgos/Makefile.am (tgbaalgos_HEADERS) (libtgbaalgos_la_SOURCES): Add them. * src/tgba/tgbaexplicit.hh (tgba_explicit::add_state): Make it public. * src/tgbatest/randtgba.cc: New file. * src/tgbatest/Makefile.am (noinst_PROGRAMS, readsave_SOURCES): Add it. * src/tgbatest/readsave.test: Check a random graph.
5bcb6091
To find the state of this project's repository at the time of any of these versions, check out the tags.