)]}'
{
  "id": "ac9f8560afd52a496fe4ae6c808b54d974df18ba",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "a11c254a29fa709279ebdf57eb76ea7fe724e9fd",
      "name": "mutex_deadlock.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8b3957d18c01b02017e5023c13daf401f0c15070",
      "name": "mutex_deadlock.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8a5831e2566b242474c99a30480b8b9b525f8705",
      "name": "mutex_simple.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "76ddd42addf9da48a125207da454c85a2ddc5382",
      "name": "mutex_simple.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1458300b1110a190ba0e368a27ab9428fdccca7e",
      "name": "spinloop_assume.bounded123.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1458300b1110a190ba0e368a27ab9428fdccca7e",
      "name": "spinloop_assume.bounded321.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c57aeb93ed1f37ee9b3d4021b84fe2ac75528711",
      "name": "spinloop_assume.replaced123.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "472332d719f2476325f2e8796b92ca0dc0909259",
      "name": "spinloop_assume.replaced321.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1b5c43959f85ae2f6f8cb0060a3c9eb2300e1b8b",
      "name": "spinloop_assume.rs"
    }
  ]
}