src/ltltest/defs.in · e8a0fbc9a7abfef039f1fb887d9856fe018a047f · Spot / Spot · GitLab

Dec 30, 2003
e8a0fbc9
* src/ltltest/defs.in (run): Reun valgrind with --leak-check=yes. · e8a0fbc9
Alexandre Duret-Lutz authored Dec 30, 2003
```
* src/ltlparse/ltlparse.yy: Add `%destructor's.
```
e8a0fbc9
* src/ltltest/defs.in (run): Reun valgrind with --leak-check=yes.
Alexandre Duret-Lutz authored Dec 30, 2003
```
* src/ltlparse/ltlparse.yy: Add `%destructor's.
```