)]}'
{
  "id": "06c1b3fe4b90d8b5c466fa15d1a2be1bfc4ad28e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e2337c2ed3cd00ef251081ee76e3f0d584d2a858",
      "name": "mutex_deadlock.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8b3957d18c01b02017e5023c13daf401f0c15070",
      "name": "mutex_deadlock.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "19a955bfcf93e1ad57a070c131666fc56110eaf3",
      "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": "c79a87b33a5f5bda948441044d7aae9575c66534",
      "name": "spinloop_assume.replaced123.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c79a87b33a5f5bda948441044d7aae9575c66534",
      "name": "spinloop_assume.replaced321.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5a4d05370cfcd1a0059bf36a8c1f99ac9b9f7e95",
      "name": "spinloop_assume.rs"
    }
  ]
}