Skip to content
  • Alexandre Duret-Lutz's avatar
    tests: remove ltlprod · be4f1397
    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