mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
07be2c1cae
This commit does 2 main things: * Adds PYTHONMALLOC=1 environment variable when `--valgrind` is used to force python to use normal malloc instead of the custom allocator python normally uses that's not friendly with valgrind * Add a suppression file to remove a couple of false-positives that happen consistently and generate useless noise