---

yaml
---
r: 495
b: refs/heads/master
c: c56ecc1
h: refs/heads/master
i:
  493: 0e702a2
  491: 5e6b5da
  487: 1a0a6ba
  479: 2c703d7
v: v3

Author: mbebenita

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 18beb7a33db3f3e57f445ba42984b8892e0dfce5
+refs/heads/master: c56ecc1d560a51878ffa4648d08110671707ae30

trunk/src/run.py

@@ -20,6 +20,8 @@
                   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 @@ def getRustTests(filter):
               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):