{
  "challenge_slug": "cdc-two-flop-sync",
  "version": "1.0.0",
  "files": [
    "challenge.yaml",
    "rtl/sync_2ff.sv",
    "formal/sync_2ff.sby",
    "checks/run.sh"
  ],
  "local_only": true,
  "server_notice": "fpga.camp validates report.json only and does not execute formal tools."
}