{
  "schema": 1,
  "interpretation": "DDTT selected assertions; not execution coverage",
  "environment": "emulator (Renode; ADC/DMA not modeled)",
  "repository": "ViacheslavMezentsev/stm32-hwtest-bluepill",
  "revision": "6853fe64ce9222d6f7efab457132d42d7fdcfb95",
  "elf_sha256": "bb5d38c1cbdb46f354876f01403a5bb97aa113d741f0829c15fe9f128d25e370",
  "campaign_attempts": 1,
  "status": "PASS",
  "points": [
    {
      "source": "src/main.cpp",
      "line": 6,
      "scenario": "EMU_STARTUP",
      "check": "main reached",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/main.cpp#L6",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_gdb_checks.py#L24"
    },
    {
      "source": "src/main.cpp",
      "line": 6,
      "scenario": "EMU_STARTUP",
      "check": "setup initially clear",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/main.cpp#L6",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_gdb_checks.py#L25"
    },
    {
      "source": "src/main.cpp",
      "line": 6,
      "scenario": "EMU_STARTUP",
      "check": "setup reached",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/main.cpp#L6",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_gdb_checks.py#L26"
    },
    {
      "source": "src/app.cpp",
      "line": 33,
      "scenario": "EMU_STARTUP",
      "check": "board init reached",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/app.cpp#L33",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_gdb_checks.py#L27"
    },
    {
      "source": "src/app.cpp",
      "line": 34,
      "scenario": "EMU_STARTUP",
      "check": "uart init reached",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/app.cpp#L34",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_gdb_checks.py#L28"
    },
    {
      "source": "src/app.cpp",
      "line": 39,
      "scenario": "EMU_STARTUP",
      "check": "post reached",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/app.cpp#L39",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_gdb_checks.py#L29"
    },
    {
      "source": "src/main.cpp",
      "line": 9,
      "scenario": "EMU_STARTUP",
      "check": "loop reached",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/main.cpp#L9",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_gdb_checks.py#L30"
    },
    {
      "source": "src/app.cpp",
      "line": 43,
      "scenario": "EMU_STARTUP",
      "check": "setup complete",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/app.cpp#L43",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_gdb_checks.py#L31"
    },
    {
      "source": "src/app.cpp",
      "line": 39,
      "scenario": "EMU_STARTUP",
      "check": "model ADC timeout",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/app.cpp#L39",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_gdb_checks.py#L32"
    },
    {
      "source": "src/app.cpp",
      "line": 36,
      "scenario": "EMU_STARTUP",
      "check": "UART banner",
      "state": "CONFIRMED",
      "checks_passed": 1,
      "checks_total": 1,
      "started_utc": "2026-10-15T19:25:51.553356+00:00",
      "source_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/src/app.cpp#L36",
      "scenario_url": "https://github.com/ViacheslavMezentsev/stm32-hwtest-bluepill/blob/6853fe64ce9222d6f7efab457132d42d7fdcfb95/tools/renode_ddtt.py#L154"
    }
  ],
  "summary": {
    "CONFIRMED": 10
  }
}