mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
25 lines
671 B
Python
25 lines
671 B
Python
import os.path
|
|
|
|
|
|
suppression_dir = os.path.abspath(
|
|
os.path.join(os.path.dirname(__file__), "..", "valgrind_supp")
|
|
)
|
|
|
|
|
|
def suppression_file(name):
|
|
"""
|
|
Return an absolute path to the Valgrind suppression file "`name`.supp" in
|
|
the "valgrind_supp" testsuite directory.
|
|
"""
|
|
return os.path.join(suppression_dir, "{}.supp".format(name))
|
|
|
|
|
|
def valgrind_cmd(argv, suppressions=[]):
|
|
"""
|
|
Wrap a command-line to run the program under Valgrind.
|
|
"""
|
|
result = ["valgrind", "-q", "--leak-check=full", "--error-exitcode=2"]
|
|
for s in suppressions:
|
|
result.append("--suppressions={}".format(suppression_file(s)))
|
|
return result + argv
|