{
  "seed": 19193966,
  "runs": [
    {
      "entry": "test_uart.random_bytes",
      "seed": 175363685,
      "verdict": "pass"
    },
    {
      "entry": "test_uart.random_bytes",
      "seed": 1449231345,
      "verdict": "pass"
    },
    {
      "entry": "test_uart.random_bytes",
      "seed": 286475060,
      "verdict": "pass"
    },
    {
      "entry": "test_uart.random_bytes",
      "seed": 1368683785,
      "verdict": "pass"
    },
    {
      "entry": "test_uart.random_bytes",
      "seed": 828181216,
      "verdict": "pass"
    },
    {
      "entry": "test_uart.random_bytes",
      "seed": 555911790,
      "verdict": "pass"
    },
    {
      "entry": "test_uart.random_bytes",
      "seed": 1888367116,
      "verdict": "pass"
    },
    {
      "entry": "test_uart.random_bytes",
      "seed": 174371236,
      "verdict": "pass"
    },
    {
      "entry": "test_uart.random_bytes",
      "seed": 1657333804,
      "verdict": "pass"
    },
    {
      "entry": "test_uart.random_bytes",
      "seed": 91626242,
      "verdict": "pass"
    },
    {
      "entry": "test_uart",
      "seed": 749279144,
      "verdict": "pass"
    },
    {
      "entry": "test_ral",
      "seed": 894342552,
      "verdict": "pass"
    }
  ],
  "total": 12,
  "passed": 12,
  "failed": 0
}