• Alexandre Duret-Lutz's avatar
    Run valgrind in test cases. · 92cc5f9b
    Alexandre Duret-Lutz authored
    * src/tgbatest/defs.in (VALGRIND, run): Define.
    * src/tgbatest/bddprod.test, src/tgbatest/dupexp.test,
    src/tgbatest/emptchk.test, src/tgbatest/emptchke.test,
    src/tgbatest/explicit.test, src/tgbatest/explpro2.test,
    src/tgbatest/explpro3.test, src/tgbatest/explprod.test,
    src/tgbatest/ltl2tgba.test, src/tgbatest/ltlprod.test,
    src/tgbatest/mixprod.test, src/tgbatest/readsave.test,
    src/tgbatest/tgbaread.test, src/tgbatest/tripprod.test: Use run().
    92cc5f9b