about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-02-13T12·48+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-02-13T12·48+0000
commit0ca0a4da9f63c8c036d82c2366f4c794bcd327d2 (patch)
tree658df39cf7faa2f28ba4ae26495b0adda27e4a99 /src
parentda0a6b6499ea89bc9858d32970da8f26c5f3c56b (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