)]}'
{
  "id": "a67f2557b4dbd21162c4a9252b31b05a75a0a305",
  "repo": "src/",
  "revision": "91e6cd2fb3f291444b4433ff2efdaefd718f5bb4",
  "path": "test/time_controller/external_time_controller.h"
}