{
  "title": "Basic Verified Functions",
  "origin_url": "https://github.com/viperproject/gobra/tree/master/src/test/resources/regressions",
  "license_guess": "MPL-2.0",
  "code_sha256": "8fe1d851f87ca4ad5e5ff7a072f593e53bb56e451cd78652a40da41269502bfe",
  "added_at": "2026-02-12T09:15:34.822850Z"
}