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 /Makefile.am | |
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 'Makefile.am')
0 files changed, 0 insertions, 0 deletions