Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/tgba/tgbaproduct.cc (state_bdd_product::state_bdd_product): · fd12c023
    Alexandre Duret-Lutz authored
    New constructor.
    * src/tgba/tgbaproduct.hh (state_bdd_product::state_bdd_product):
    New constructor.
    * tgbatest/tripprod.cc, tgbatest/tripprod.test: New files.
    * src/tgbatest/Makefile.am (check_PROGRAMS): Add explprod.
    (tripprod_SOURCES): New variable.
    (CLEANFILES): Add input3.
    (TESTS): Add tripprod.test.
    fd12c023