From c56ecc1d560a51878ffa4648d08110671707ae30 Mon Sep 17 00:00:00 2001 From: Michael Bebenita Date: Wed, 11 Aug 2010 16:01:40 -0700 Subject: Added a -v(algrind) option to run.py. --- src/run.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/run.py b/src/run.py index 247a90bc..6a2d3439 100755 --- a/src/run.py +++ b/src/run.py @@ -20,6 +20,8 @@ parser.add_option("-n", dest="repetitions", help="number of repetitions", metavar="NUMBER") parser.add_option("-q", action="store_true", dest="quiet", default=False, help="suppresses rust log output") +parser.add_option("-v", action="store_true", dest="valgrind", default=False, + help="runs under valgrind") parser.add_option("-p", action="store_true", dest="printSource", default=False, help="prints the test case's source") parser.add_option("-s", dest="seed", metavar="NUMBER", default=-1, @@ -72,7 +74,14 @@ for rustProgram in tests: os.putenv("RUST_SEED", options.seed); else: os.putenv("RUST_SEED", str(i)); - result = os.system(rustProgram.replace(".rs", ".x86")); + command = rustProgram.replace(".rs", ".x86"); + if (options.valgrind): + command = "valgrind --leak-check=full " + \ + "--quiet --vex-iropt-level=0 " + \ + "--suppressions=etc/x86.supp " + \ + command; + print "Running Command: " + command; + result = os.system(command); exitStatus = result >> 8; signalNumber = result & 0xF; if (result == 0): -- cgit v1.2.3