{
  "seed": 1780737999,
  "runs": [
    {
      "entry": "test_blinky_random",
      "seed": 1599578614,
      "verdict": "pass"
    },
    {
      "entry": "test_blinky_random",
      "seed": 564760988,
      "verdict": "pass"
    },
    {
      "entry": "test_blinky_random",
      "seed": 552262158,
      "verdict": "pass"
    },
    {
      "entry": "test_blinky_random",
      "seed": 407627423,
      "verdict": "pass"
    },
    {
      "entry": "test_blinky_random",
      "seed": 1292176821,
      "verdict": "pass"
    },
    {
      "entry": "test_blinky_cocotb",
      "seed": 1734636399,
      "verdict": "pass"
    }
  ],
  "total": 6,
  "passed": 6,
  "failed": 0
}