Skip to content
  • 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
To find the state of this project's repository at the time of any of these versions, check out the tags.