{
  "postsubmit": [
    {
      "name": "pintool_tests"
    },
    {
      "name": "meminspect_tests"
    }
  ]
}