1 files changed, 10 insertions, 0 deletions
diff --git a/pinner/tests/TEST_MAPPING b/pinner/tests/TEST_MAPPING
new file mode 100644
index 00000000..73af05f1
--- /dev/null
+++ b/pinner/tests/TEST_MAPPING
@@ -0,0 +1,10 @@
+{
+  "postsubmit": [
+    {
+      "name": "pintool_tests"
+    },
+    {
+      "name": "meminspect_tests"
+    }
+  ]
+}
+\ No newline at end of file