Giacomo Vercesi 07be2c1cae Allow the use of valgrind with python ...

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

2023-04-20 14:43:12 +02:00

..

revng

Allow the use of valgrind with python

2023-04-20 14:43:12 +02:00