-
Alexandre Duret-Lutz authored
* src/tgbatest/Makefile.am (check_PROGRAMS): Add bddprod. (bddprod_SOURCES, bddprod_CXXFLAGS): New variables. (TESTS): Add bddprod.test. * src/tgbatest/ltlprod.c: Handle BDD_CONCRETE_PRODUCT.
0233f31e
To find the state of this project's repository at the time of any of these versions, check out the tags.