diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-13T12·48+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-13T12·48+0000 |
| commit | 0ca0a4da9f63c8c036d82c2366f4c794bcd327d2 (patch) | |
| tree | 658df39cf7faa2f28ba4ae26495b0adda27e4a99 /src | |
| parent | da0a6b6499ea89bc9858d32970da8f26c5f3c56b (diff) | |
* Valgrind suppressions for the ATerm library. The ATerm library uses
a conservative garbage collector that scans the stack and parts of the heap for pointers to ATerms. This scan can touch uninitialised memory, which is harmless. Use: $ valgrind --suppressions=aterm-gc.supp ...
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions