Browse Source

[2036] Add suppressions for all existing issues reported by Valgrind

Mukund Sivaraman 13 years ago
parent
commit
a7d656ede2
1 changed files with 4840 additions and 0 deletions
  1. 4840 0
      src/valgrind-suppressions.revisit

File diff suppressed because it is too large
+ 4840 - 0
src/valgrind-suppressions.revisit