-
Alexandre Duret-Lutz authored
This very old test did not do anything useful today. * tests/core/ltlprod.cc, tests/core/ltlprod.test: Delete. * tests/Makefile.am: Adjust.
be4f1397
This very old test did not do anything useful today. * tests/core/ltlprod.cc, tests/core/ltlprod.test: Delete. * tests/Makefile.am: Adjust.