)]}'
{
  "id": "c933216fd75cbf5bcfbe23441ccd70a02aef174a",
  "repo": "third_party/Surelog",
  "revision": "dc9e31ae8b53ec16b3ecb406d6a9b9103b596931",
  "path": "src/Testbench/Property.h"
}