-
Alexandre Duret-Lutz authored
* src/kripketest/defs.in (run2): Remove this function. It was incorrectly trying to run valgrind even when valgrind is not installed. * src/kripketest/kripke.test: Simplify and use run().
c21e7168
To find the state of this project's repository at the time of any of these versions, check out the tags.