• Alexandre Duret-Lutz's avatar
    * src/tgbatest/bddprod.test: New file. · 0233f31e
    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