Alexandre Duret-Lutz authored
* src/tgbatest/defs.in (srcdir): Adjust from VPATH builds. * src/tgbatest/ltlcounter.test (lcdir): Adjust definition to new value of $srcdir. (run): Fix setting of $run after $n = 2. Using run=: would in fact disable all the big tests...eab12614
To find the state of this project's repository at the time of any of these versions, check out the tags.