217 lines
114 KiB
JSON
217 lines
114 KiB
JSON
{
|
|
"schema": "flowrs.proof-table/1",
|
|
"kani": {"version": "0.68.0", "cbmc": "6.11.0 (cbmc-6.11.0)", "rustc": "rustc 1.100.0-nightly (8925ea358 2026-08-20)"},
|
|
"run": {"at": "2026-10-29T11:11:08Z", "host": "the build host", "by": "tools/kani-programs.sh", "wall_s": 320.6, "jobs": 6, "total_gb": 48, "peak_gb": 8.02},
|
|
"programs": [
|
|
{"graph": "digital_out", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_9ca5028aebe9", "flow_sha256": "9ca5028aebe9e607e99c5f9aa9d6e47363aa7e265665e52e38842e505178c76e", "harness_sha256": "1fe7ebde0dac61d89f499a3c02185b62e0e64b1e1b09565db91eefa916b1ff2e", "checks": {"total": 69, "passed": 67, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.09, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_eb1a8abb3839", "flow_sha256": "eb1a8abb383944d023f30a23ea43ce11953eb518407f763946ab32b47ce264ff", "harness_sha256": "8ad91b13f7528746b6d3d7a1ee643de816408d175f9d27742056805d90fc4541", "checks": {"total": 88, "passed": 86, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.16, "peak_mem_gb": 0.01, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_d1a6bf7e7ac9", "flow_sha256": "d1a6bf7e7ac95c5a0d940d8b4a9efa970962926cd804967e9b99dd082d6d08bf", "harness_sha256": "2d8dfe800b41eb07c60675531439bfde0ec6a4fffc6dfcce0ee2632739084973", "checks": {"total": 83, "passed": 81, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.11, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_425903089e23", "flow_sha256": "425903089e23db568c0475dd1f737fc3238db61367fd1fff61525875906c0118", "harness_sha256": "95b09ab90f018024fc025f8190ee8d27e198d5a42599a46c27afd12bbfa77d70", "checks": {"total": 122, "passed": 120, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.13, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_d207dc25e436", "flow_sha256": "d207dc25e436e5b977ea04a6dcfdbd317d652d70113dba5ce254dca84f3d6e1e", "harness_sha256": "e75cc9f9a5e2b80ed9d3d83fdc5a19cad698b02c55d602ab220015081b431c4b", "checks": {"total": 128, "passed": 126, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.2, "peak_mem_gb": 0.01, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_17f9088eff82", "flow_sha256": "17f9088eff82b66b6ef104b78e66207f060a40292120c6289de7f2492c8cce3b", "harness_sha256": "a680db33fed0ffe38976d6c66661b4a2ddc0c8e920ad96aa7d9866641a2a23a0", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.21, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_9bdf95c98b1b", "flow_sha256": "9bdf95c98b1bdcd9513e780ee2139cabcd1f9196a05d96e5b52f297d96dc7b75", "harness_sha256": "576b709c956769f18dba9e4c565b6f274df1fb161bf989892409c64dfd33ce1f", "checks": {"total": 283, "passed": 278, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.2, "peak_mem_gb": 0.19, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_a1df1f496fb6", "flow_sha256": "a1df1f496fb699d0de26a07d0ebfc8bb96821f5d27d3844663c7f26962c735c7", "harness_sha256": "9e48b9f7cd0dab2e3a302c09c8130c54f167bc4838339fbd87b41a460d27a72b", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.15, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_1e33a64b7045", "flow_sha256": "1e33a64b7045c6a5467184855b16408a735d17dd669e2e4fa8628193a6889c8a", "harness_sha256": "7ef88226b8770c7f629948dcd5382d1dbf4d850ae8b0d98e8fa3115d9274d4a2", "checks": {"total": 268, "passed": 266, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.74, "peak_mem_gb": 0.12, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_e8eea398b503", "flow_sha256": "e8eea398b50351c76b59b801659fc346f2b701d3459b748e88e9dc062d0b726e", "harness_sha256": "e7a763fe38955a48b6b979c134acca76536f9803888300c671d8da6276201f74", "checks": {"total": 239, "passed": 237, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 3.08, "peak_mem_gb": 0.18, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_cc23fe8639d0", "flow_sha256": "cc23fe8639d008b4fa4ea7dbbcf51d2fa85be07d4702e9932f99ef4ea056edec", "harness_sha256": "752ee4580718b50fdcc87970702a0073b2944913b4e3c494eeef59a7173be451", "checks": {"total": 281, "passed": 279, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.68, "peak_mem_gb": 0.34, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_72537903973a", "flow_sha256": "72537903973afac5b27885ca3f71cb98dd29dea36405e04809b7289ee9a7f4b3", "harness_sha256": "65b8c21c5d5fbe77a583bc622ea397627354fe6925862f93b493d3b0f9d3e0e6", "checks": {"total": 515, "passed": 510, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 22.88, "peak_mem_gb": 1.26, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_7a4baf949566", "flow_sha256": "7a4baf9495667b471b103c49edea15cfcd4e22f7d610fa96611ae9ea78bf7fe7", "harness_sha256": "ec2da042f9b2c3166023d62ba9625041490b4c97500edcb7f36f003a702b5dc9", "checks": {"total": 234, "passed": 232, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 16.49, "peak_mem_gb": 0.66, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_1bb5374abc5a", "flow_sha256": "1bb5374abc5a39babd4beb4ddddcaa30a00a3fae838d651dc7c2b184144f177a", "harness_sha256": "50bb2cb9fbd3621e6dfc9db28e359136fceb05f96f37e2f90a12897993582a5f", "checks": {"total": 210, "passed": 208, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 17.24, "peak_mem_gb": 0.25, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_219870ad216c", "flow_sha256": "219870ad216cbabc08a48d36293068ecd2515473d7d03f3843d96b9f3a3ff125", "harness_sha256": "cefb89a2b990eb9e977e88c54bf00717e4a9e3ccd067f5a10355284ceb1c302a", "checks": {"total": 306, "passed": 304, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 18.01, "peak_mem_gb": 0.66, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_17f9088eff82", "flow_sha256": "17f9088eff82b66b6ef104b78e66207f060a40292120c6289de7f2492c8cce3b", "harness_sha256": "a680db33fed0ffe38976d6c66661b4a2ddc0c8e920ad96aa7d9866641a2a23a0", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.21, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "feather_rp2040", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "feather_rp2040", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_37dce358535f", "flow_sha256": "37dce358535ff2dfc9ccaa7a77dcc040388c734a3c37ab990c5b0ae698e399ad", "harness_sha256": "d8efdc9841185f2815d368743a7af5cc25e6badf35d5fec47a705b08dc106f12", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.28, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_2331ae73b67d", "flow_sha256": "2331ae73b67dd39ae225b512c1b04ce3a3a945f1c3357c934dd34cfbfce21164", "harness_sha256": "50348186e3a0b5e4ae284c7b7e6577145e23d040907a8c3e058871f02d47dcee", "checks": {"total": 454, "passed": 449, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 7.85, "peak_mem_gb": 0.52, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "feather_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "feather_rp2040_embassy_db68b3c7ea86", "flow_sha256": "db68b3c7ea86da13acc523a51a44b20f6ac70b7a2a45e4dd17313cb50e6e5a1a", "harness_sha256": "b7984a2ce8e51ebffcc1d456fbc60f0b8c49746db7607d0c1490624ff3e3c180", "checks": {"total": 274, "passed": 272, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 45.58, "peak_mem_gb": 1.3, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_out", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_0ed42ad8bffb", "flow_sha256": "0ed42ad8bffbf403660ffd7129760501e43e9a630d23869e931e667f8a282efe", "harness_sha256": "0fce1c230c3994f84926a61dfcdc09236be4c3763b18b7b40a7dad3eae7a776a", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.07, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_773def182cd7", "flow_sha256": "773def182cd7839e98515bc217cc0a6a54267208b89c8de8f36779337fef0b5b", "harness_sha256": "60178611a4a18daaf41bdcf290f5d5bd283a03cbcb14eddd10e13b0d275ac9fd", "checks": {"total": 52, "passed": 52, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.17, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_cda0d7e9aa44", "flow_sha256": "cda0d7e9aa444b536dfe1e76910045051becc6a46a684bd28ba43863b5ff6f06", "harness_sha256": "8cdea92628e6017d0332803d2de96c0d1cfda767912c0d31b1936b64dd6c0f4c", "checks": {"total": 47, "passed": 47, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.11, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_be17f2424f40", "flow_sha256": "be17f2424f4034db26440b49fc86f6287d6bcc6edce4486b85ee5044396e052b", "harness_sha256": "98ecb6a3c658f57ea31f9eca9a4dc4d8967326f7eb8c37900fae110341f78b08", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.07, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_edb0a14797e7", "flow_sha256": "edb0a14797e71748177c2e976855d54eb82d53c13c547873ab32ba4ff27877a7", "harness_sha256": "e286b148bc01cb43fa886bdbc96c782f145943fa63615505aadab1a1debe0d2d", "checks": {"total": 66, "passed": 66, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.16, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_6a16d9784769", "flow_sha256": "6a16d97847696764d22c0e15e8a8ae3161658ef9894c43c1df9c7841a896c091", "harness_sha256": "088cd47b8e68ebe20244ce325eec0aecf348850d7744f566e244f86390553fd7", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.1, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_342a686225f0", "flow_sha256": "342a686225f0afd61a4e5b001c8fd6a98abd8ac2d31b885b7037e4421853b062", "harness_sha256": "082d96e86d5d31ae28fb8c53f64774a944d015cdc0e0510ef6392765d0f23e5d", "checks": {"total": 162, "passed": 158, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.05, "peak_mem_gb": 0.11, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_c86595adb80e", "flow_sha256": "c86595adb80e56257e93831858b4a44d4b98d5420f720e7578c6e2b2fc2da8c3", "harness_sha256": "744447c848427793d6b69306d5dedbcb0bc9c7f9baada1d852fb500f4367e1a9", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.21, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_febe1881173d", "flow_sha256": "febe1881173d5723249821e4e9f7092928af381f18bdfe7eeee87f8ac935f419", "harness_sha256": "9735b867b063328164b24fb193a44cb9a1da1bb78fe07a1824de58082fc8d5d1", "checks": {"total": 147, "passed": 146, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 1.25, "peak_mem_gb": 0.05, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_e7b8cc373ece", "flow_sha256": "e7b8cc373ecec97ea4c4c8b7aa68d2feb0950a89018921bf21932f88259d7c86", "harness_sha256": "fc0f5efdd4c8ec7155e5f8123782061d1454599cd1c70ad015bca1fc790bbd36", "checks": {"total": 124, "passed": 123, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 2.21, "peak_mem_gb": 0.17, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_e587468ac477", "flow_sha256": "e587468ac4770772358b6cc8df792afdfcd28d9e87dd31ea662593e767b74399", "harness_sha256": "7c83193da4674d4275f180a62d8f9da16ffbb31124b87d26cf2ecd05d1347f86", "checks": {"total": 143, "passed": 142, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 3.01, "peak_mem_gb": 0.17, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_8f79f1516128", "flow_sha256": "8f79f1516128a6877edf79c34e9d40a55ee0aeace11d892ef1b4092646759c3b", "harness_sha256": "831846f068ab7b6eaa7b1daf40e216d7fa037f4b4b0ba59b35d20e87172f74af", "checks": {"total": 299, "passed": 295, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 15.95, "peak_mem_gb": 0.76, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_0449005dede2", "flow_sha256": "0449005dede2cb9ca9d29e9d1f674a60e8b49a8b43289ae571f1823b162fe089", "harness_sha256": "5856f7b8b3e24ba02fe77ec951e11a09ff7c7847c13d6ee3dce7b15fce4f2237", "checks": {"total": 70, "passed": 70, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 17.04, "peak_mem_gb": 0.61, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_b51fdc6a0567", "flow_sha256": "b51fdc6a05679c4518567ee0abfe700c28072f2a9d4287bbd26b28bfe38baf2e", "harness_sha256": "9858f5f62bb186c64e3253d9135491bc64b9edd5153d84a1115cb23bdaa6967b", "checks": {"total": 175, "passed": 174, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 18.15, "peak_mem_gb": 0.22, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_6fe4210f472c", "flow_sha256": "6fe4210f472ca6086727b0a6c66d8bcd45387c0e5ea0ebfd276651db6ed58c92", "harness_sha256": "895c8184ef221559a9b9281dc5a07b0cf6618cca5577a97b7bb1b40a04337cd4", "checks": {"total": 191, "passed": 190, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 14.47, "peak_mem_gb": 0.45, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_6a16d9784769", "flow_sha256": "6a16d97847696764d22c0e15e8a8ae3161658ef9894c43c1df9c7841a896c091", "harness_sha256": "088cd47b8e68ebe20244ce325eec0aecf348850d7744f566e244f86390553fd7", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.1, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "feather_rp2040", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "feather_rp2040", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_51ff65190ed2", "flow_sha256": "51ff65190ed228712179681013725095cc5c0531fccaee08e9b5e0232578ff61", "harness_sha256": "e02db00f42a2acaec0e0ead2044e921b826ca735c1b715ffaa66a67e3ab58f2e", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.55, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_b795832788a1", "flow_sha256": "b795832788a18d5b1c93f416b0180e0f9f4d82d51fd0070a5abff245654fdca8", "harness_sha256": "f4e57e430de09b7a89afee767609284dabae174847ab9514492551ae8fe2eac8", "checks": {"total": 284, "passed": 280, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.97, "peak_mem_gb": 0.35, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "feather_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "feather_rp2040_rtic_3841342b1e09", "flow_sha256": "3841342b1e092254417de1697a10e7174b6c69b47d87918b153ffd42d886ab85", "harness_sha256": "4037a7a3537269c91a2c11184191f7eabfbf80ff4e357f26949e6d32ba5fe1c6", "checks": {"total": 110, "passed": 110, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 47.64, "peak_mem_gb": 1.0, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_out", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_56dc0df741f2", "flow_sha256": "56dc0df741f2b55d348dcff74e0f44c52de998efaf7792f1abcaba09e087e7bc", "harness_sha256": "a07c7b223b4bffce724ff581fe8ec1921db752a2c165907ef738d41990d547ff", "checks": {"total": 69, "passed": 67, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.14, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_16b19f5a1d86", "flow_sha256": "16b19f5a1d86d6e0b0cc5e3acc21f25a56247cf85e6fb2ef3070580f28c6db0f", "harness_sha256": "806a80319c620709af7e305a68338e4622c8da82225c3188b65e5242b509d8a6", "checks": {"total": 88, "passed": 86, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.24, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_4902f0a5ce68", "flow_sha256": "4902f0a5ce68130998ded60a4baa2534a35bcb6d10538d77b1b3f14eba53c693", "harness_sha256": "c3a6cef764c90baf08b247e3890f9aaa2638c67da2bb04a0e656c6fd868f4849", "checks": {"total": 83, "passed": 81, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.24, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_66121e08c433", "flow_sha256": "66121e08c4338b9042165aff0e30ac4144f87de40b3ca76bbdd8b3ea01fae697", "harness_sha256": "28cc0a7530f5b14adeb2aa2a5612c718f960ab388c0236a3f54389499af00d9b", "checks": {"total": 122, "passed": 120, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.2, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_4b0aa2a04fae", "flow_sha256": "4b0aa2a04fae11ac22a2799c199be5efc0c515d7a1cd83a75ae8d2651269c220", "harness_sha256": "21aef502304e531d30c7952dc7d65c3cde719dc8fd92614cc2b4be8dbaaf5f21", "checks": {"total": 128, "passed": 126, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.32, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_6e84bb7ab0ac", "flow_sha256": "6e84bb7ab0ac2cdc5dc3a9e765ff88ea6d9a6b985177226bab7d43e27aa6cb72", "harness_sha256": "4eb9422b687644ac916b579359cf36b501753b4f29f10909c4ed68d47e90b9df", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.18, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_6e8d005e9922", "flow_sha256": "6e8d005e9922af8208c35521a479d5b6e5c71808db0e14d70d8b9e93852e2c37", "harness_sha256": "7b8f0027d717be4e416873438ccddf840e38ea36f5ce24832d7d4c9307542b61", "checks": {"total": 283, "passed": 278, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 3.63, "peak_mem_gb": 0.19, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_ddc2650d2b97", "flow_sha256": "ddc2650d2b97eeb872f41f967a6f9fefa0b1de6fc0e1648555db8e00089e14a0", "harness_sha256": "a511ebfc89d8c9f58cac082f4d827cdf2028b0725d680b4cf256ff8edc020096", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.17, "peak_mem_gb": 0.02, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_10e93c608db1", "flow_sha256": "10e93c608db10b50669d7dd8cd5f2eb5245592030db940ec617ee88e64d5655c", "harness_sha256": "9d858e00063befa1b272b4838267a1edc6120f6ec271e7f2da2cbc2556582869", "checks": {"total": 268, "passed": 266, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.19, "peak_mem_gb": 0.12, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_c72588709a20", "flow_sha256": "c72588709a209e222b7cdc6d9c7f202ad1cf5ff378c26784249155cbfe78b9c2", "harness_sha256": "8b3b14fac23b7486ab31c81a790f552531d156ae0087c45fcc836ffe0fbf4263", "checks": {"total": 239, "passed": 237, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 2.87, "peak_mem_gb": 0.18, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_ede08ee98791", "flow_sha256": "ede08ee9879117a71100bbc21d607d56a750a3d775478076f50677be39df9539", "harness_sha256": "a3e55605e398bbc54b21e8967ffe8e6d87ffc5bce81b5e550636ecafcebad298", "checks": {"total": 281, "passed": 279, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.71, "peak_mem_gb": 0.34, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_855eca0ead1e", "flow_sha256": "855eca0ead1ec3d67bd8c73e791e12cb802cb4d26070ee38aaa461d7dbdef2ab", "harness_sha256": "a68c3ec5c9cca51f62d5545d3e081c02239924d3edef67d1d42b6d602b0b7566", "checks": {"total": 515, "passed": 510, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 29.7, "peak_mem_gb": 1.28, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_139a7930e807", "flow_sha256": "139a7930e8072c376d2a6e535a1ab361acbf785f9ab1be0fda13adace5699ee0", "harness_sha256": "105bfdebad9461cae524dff6f3071d84e4fa7f8cb219c859482d41149e5e1266", "checks": {"total": 234, "passed": 232, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 23.48, "peak_mem_gb": 0.64, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_1f37364e093e", "flow_sha256": "1f37364e093e09c17c4ff192f947c70663135bd0f5ae097cb76f8bc7fbfed862", "harness_sha256": "ea9d3dd75c6bd2cb30e3ac46837c754b7699df86e664870d28f086a59216e45c", "checks": {"total": 210, "passed": 208, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 16.22, "peak_mem_gb": 0.25, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_5f110dce81c5", "flow_sha256": "5f110dce81c5adb18b17b54326efd70a6cf42fb34f48de68462d6e79a74c057d", "harness_sha256": "ba076bc096f7abbbb9f7dfac65e3da3b7ec8f8ae9cbc9cfac72ddb89cb597304", "checks": {"total": 306, "passed": 304, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 17.0, "peak_mem_gb": 0.66, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_6e84bb7ab0ac", "flow_sha256": "6e84bb7ab0ac2cdc5dc3a9e765ff88ea6d9a6b985177226bab7d43e27aa6cb72", "harness_sha256": "4eb9422b687644ac916b579359cf36b501753b4f29f10909c4ed68d47e90b9df", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.18, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "nucleo_f401re", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "nucleo_f401re", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_20b2217a911a", "flow_sha256": "20b2217a911a59a7318d6cb098eed889e162ae6f6e0579728dd27dfcee3c4829", "harness_sha256": "287210a4b241264bf4a5d718045d9b6616514e0689e862f986d4a0e8df66d624", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.35, "peak_mem_gb": 0.02, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_b61bc08cb632", "flow_sha256": "b61bc08cb6321800fd148f3ca3bdbea9b953d57c5af3afb2b0bbb09b25ebdcb0", "harness_sha256": "255c231df5337c735670bdb5ccc9d07e23aa98f788eeee75d30cb953e97a0f82", "checks": {"total": 454, "passed": 449, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 7.86, "peak_mem_gb": 0.52, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "nucleo_f401re", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_f401re_embassy_9afa27dfb270", "flow_sha256": "9afa27dfb270e6c7941f314b252fb0573e96f3ce78006d166dea685acb544ad5", "harness_sha256": "43c0f0666be84ce42474dbe08fca16270e3ed310d009aecc543eac229e96baf8", "checks": {"total": 274, "passed": 272, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 46.08, "peak_mem_gb": 1.26, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_out", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_b3595dca1d46", "flow_sha256": "b3595dca1d46bd675f9ef9f6b98c16bea79b6b645ac57ab9e3415dd8ebd70452", "harness_sha256": "5f691b50218d84b8ec6287e3ddf912f3668c9a173c6077700023bf1e68b17735", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.11, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_b28f596dc569", "flow_sha256": "b28f596dc5693e19b70e7cd369ed52a935702f59d373e32c19c372b46b3b6f66", "harness_sha256": "bc59bdf4fd1b0b0b166555ca686d037d613b809bfba63824c82da305cfe2e7c2", "checks": {"total": 52, "passed": 52, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.13, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_8182acc6ac28", "flow_sha256": "8182acc6ac2851358d55bc5d433c7cbb2adc38bc279bbf03b73ff14235768a68", "harness_sha256": "a5177b4c894f59ce380be09e1fcd8dd872aed50aca0b5a358d0d790ef346303d", "checks": {"total": 47, "passed": 47, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.08, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_26663d1c584f", "flow_sha256": "26663d1c584f57d285e9ea49778e3b85848adea3ef47c84fa265ea89dc4fc7be", "harness_sha256": "077e92ab85cea7aa49005873ca13ac4f4224e90d9a2822263a7cecec6d064357", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.07, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_783ff018349b", "flow_sha256": "783ff018349b6519405aef9cf2dc1694052c8c614191c3dc7bb8c3b033884efe", "harness_sha256": "8ee90c5359af091448e542e4bca3a50de4763d76390c928feedf6a73cac78af1", "checks": {"total": 66, "passed": 66, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.13, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_63745497b8e9", "flow_sha256": "63745497b8e96efbcef56f7cc761977d3ae1b13d0749ad8d9691cc118a11d425", "harness_sha256": "cce55986c73cea432928885eb7576811b24550964ff4a986f96d4834474471de", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.11, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_4ccee18b3a01", "flow_sha256": "4ccee18b3a01f79d9bf67a594295d9b2081732868d52c1f0aed1a81ceb311b4d", "harness_sha256": "f9d6b49a6b09eb5d1acbefd3a8157af7fb64db1ac0516f9f41c9e3f9658206d3", "checks": {"total": 162, "passed": 158, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.46, "peak_mem_gb": 0.11, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_ef2ed34bcd8e", "flow_sha256": "ef2ed34bcd8e1068fd77ed80af9b2fca380ba21e63938f25a6ff939e35bb06b7", "harness_sha256": "1e65a8ea73b7b5f848dc7acccf3a7e14756bc0cfb99ab98b7f9325beb733b098", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.24, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_34a6f35b660e", "flow_sha256": "34a6f35b660e4fe8e7df392ec1dd4aaed27cf766b74e738dd80ce4ccc88d9a12", "harness_sha256": "9d9dfa73fdfdfc4408b54fcde0c0895a36ca7d0654053e486d06a1453921a865", "checks": {"total": 147, "passed": 146, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 1.04, "peak_mem_gb": 0.02, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_ee3ea92b3235", "flow_sha256": "ee3ea92b323573c6a4f7eb3a7be71d2c84709746a8973d6115656aa5909345db", "harness_sha256": "bd7ad109350a365cf8e99bc70c9a94dd1be2ea73f03697d141695a52a43c1d53", "checks": {"total": 124, "passed": 123, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 3.02, "peak_mem_gb": 0.16, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_42179d4bc5e5", "flow_sha256": "42179d4bc5e54f94a08efd0266467bb1a7124d7d53a247a47f1186600092e888", "harness_sha256": "9e76f1c5540efbab9bc9bd39b9b33034143b99e2e0b3bde49c16d884a8727c2c", "checks": {"total": 143, "passed": 142, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.45, "peak_mem_gb": 0.22, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_7bd7814b9816", "flow_sha256": "7bd7814b981613e763ccd7ce41d4e08b683a3486d6cf70f55659a187f29e2bfe", "harness_sha256": "b76ebdc4edfe36f2e1b8961eb8541c98eff8e06ade2c19aef11ed5de5733b5d9", "checks": {"total": 299, "passed": 295, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 12.7, "peak_mem_gb": 0.77, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_9344cb675a96", "flow_sha256": "9344cb675a96fc604c897f33f2fd026c73ef1d048ceb370760f7d227ce4ec778", "harness_sha256": "48c22c8ecb7b78dc57acb323cb9949a0561627544237b649687c500869c40227", "checks": {"total": 70, "passed": 70, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 14.02, "peak_mem_gb": 0.6, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_815acc3e076f", "flow_sha256": "815acc3e076f4bec52a711cddc4df34d407b6eb6ca5c89477662090625c2398f", "harness_sha256": "3870ffa8e9a904d1d948c8a6705ec81ef2b527fd0eb78ad2a58b99415bdc5b2d", "checks": {"total": 175, "passed": 174, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 9.61, "peak_mem_gb": 0.22, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_f7017e3f07b0", "flow_sha256": "f7017e3f07b030c4ba14e922e66049376b8e73ad8fd190f5a934013dc85a5402", "harness_sha256": "9bafdd0145b689a03eaf2064db2254814503a8cf84269ae502cf5d9a544f424f", "checks": {"total": 191, "passed": 190, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 15.54, "peak_mem_gb": 0.45, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_63745497b8e9", "flow_sha256": "63745497b8e96efbcef56f7cc761977d3ae1b13d0749ad8d9691cc118a11d425", "harness_sha256": "cce55986c73cea432928885eb7576811b24550964ff4a986f96d4834474471de", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.11, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "nucleo_f401re", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "nucleo_f401re", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_f365e1687433", "flow_sha256": "f365e168743351eb98d4e484274e4ec2af5d4dbe9b229447d3a4853668e7475f", "harness_sha256": "c01941de074c42c9a7d1a0c38fd6b5dcd3485eea707614c3ab204e7974839ae0", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.36, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_783f46d5e5f4", "flow_sha256": "783f46d5e5f4c2e6b960b30296751f77a1b2b00f56ff36a9f4856fddc9421bdc", "harness_sha256": "c0bdff819f5e0b7fb98c159bac0d19e156b888fd6496c21c88135c2f89732305", "checks": {"total": 284, "passed": 280, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.77, "peak_mem_gb": 0.28, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "nucleo_f401re", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_f401re_rtic_6ffa724f148f", "flow_sha256": "6ffa724f148ff0b50dfd1a0de48e43bff95c75604ea2410677470d13a7324ceb", "harness_sha256": "e3971e9e5370ee8e5d2a92a5454eeefd3dd86a22712772619843fd9e14a50e49", "checks": {"total": 110, "passed": 110, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 38.94, "peak_mem_gb": 0.97, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_out", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_bd2836ec12c2", "flow_sha256": "bd2836ec12c2584e481c5f2c7cd972366c4fc8f3cfb4e090a9cf81f100b5cb8c", "harness_sha256": "f82d8d297c18255a7f52875eed9d92c8278d9dd784960329fdc5fbf3e9f396c7", "checks": {"total": 69, "passed": 67, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.09, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_215458910787", "flow_sha256": "21545891078739e763976668ff15c2216bf943b85c550c95c6285d109e111ed7", "harness_sha256": "89904c158b9d90a206cd534a2b01942ba213f85490655a0d028ab5199edce79d", "checks": {"total": 88, "passed": 86, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.15, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_325fbcf9c4d5", "flow_sha256": "325fbcf9c4d53135e084f16456b23b1934da91083b05f481cbf7b1e5d9f329f2", "harness_sha256": "1313af2329809aa581b301e14744351f6f6cb9c43f13652c7edf24cc7f3fee1c", "checks": {"total": 83, "passed": 81, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.11, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_c896951d3c19", "flow_sha256": "c896951d3c19f78bc2f2d02e33e0311443e6ade362adef5c460b5845ac7ca93f", "harness_sha256": "54565ac62d250315c502681360fa049a40afddd57ae04d2fcb25ed6382d5cadb", "checks": {"total": 122, "passed": 120, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.12, "peak_mem_gb": 0.01, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_3d91552f60a5", "flow_sha256": "3d91552f60a56e34471adcf5f6bc8a3ae75d680f7257f0547760d44231792a70", "harness_sha256": "da0024dc6846e3ba81ce87f68a54cc3c285e572aeff7496f7d816f5166f7904f", "checks": {"total": 128, "passed": 126, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.19, "peak_mem_gb": 0.02, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_38bf691fb8d4", "flow_sha256": "38bf691fb8d411a011028f94ab8029d6a0f6600f03df671bf3f0a686bc15e6bf", "harness_sha256": "61cda78c3ed3fbdb23c558937265e08b3665d05101ae496a369704cedc600548", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.09, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_de1a53ea2ee8", "flow_sha256": "de1a53ea2ee8163db55b7375721f61c3dd16a049fd9fb85d0a7acab767ad35ef", "harness_sha256": "453cfc1a8b33780ae71f31d54adf4225f14159f99d2ce9e6032550e7ad821bee", "checks": {"total": 283, "passed": 278, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.23, "peak_mem_gb": 0.19, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_00b7d2f81fa8", "flow_sha256": "00b7d2f81fa89867d94736bb9f18efeeb2fc8b55cb2af91ce76b7044b3d1d106", "harness_sha256": "4fb386623b4b47f293661244794564aa8e6f67c67cdeea0a663e540b4230398a", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.16, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_b672af16d8b4", "flow_sha256": "b672af16d8b4b2c1bfa27c87c302c9b0e5472ae23e40ad0610c5a0f9d4808a46", "harness_sha256": "728876eafe167f87cb7d55b90f0116a76b93781c420a75f0fd1bec95b8b4b2ab", "checks": {"total": 268, "passed": 266, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 1.58, "peak_mem_gb": 0.07, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_d7129ee30e98", "flow_sha256": "d7129ee30e985979982aa19599dd5186f1ea56e6bcd40da5eed573816c79919c", "harness_sha256": "eaea09f77cd0d75f747f8ca8221a5df90b0d1d15afa5b5efb81dc3691e586f5e", "checks": {"total": 239, "passed": 237, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 2.83, "peak_mem_gb": 0.24, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_a3aae4e41544", "flow_sha256": "a3aae4e4154473ac69bc1839ac6f00ce72d858bfb6ee71a79a94863b13188742", "harness_sha256": "c5e944ceed6afd491322d26fa6394452e197ab95ee55546fbb8bcc5ad007005f", "checks": {"total": 281, "passed": 279, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.46, "peak_mem_gb": 0.3, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_c6e1e4927a18", "flow_sha256": "c6e1e4927a1857054ee2bfdcf5c7a9aa8e16b13181978ed5b5b6b07a11383eed", "harness_sha256": "0a30e8b88b6b9f04253203858148a39b194bf7e451cdb864597b0309aa2e0cf1", "checks": {"total": 515, "passed": 510, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 23.52, "peak_mem_gb": 1.28, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_e1526afeac0a", "flow_sha256": "e1526afeac0aa69e27f56578900384059a6004eca09505799e961a83aee43643", "harness_sha256": "f813ed755ecd31afe19f75b16c5a0a33699eb0b8e79a895bd587136cc02a2dc4", "checks": {"total": 234, "passed": 232, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 17.41, "peak_mem_gb": 0.67, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_0f3ad445f21d", "flow_sha256": "0f3ad445f21de78e181ea950c3e7c8dc7b4be84fdd32d7d33cac393cb31d3a39", "harness_sha256": "2c6bf00b064bf156c5778495b4241b232242cac58359616a9ba7024a2578b97d", "checks": {"total": 210, "passed": 208, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 11.37, "peak_mem_gb": 0.26, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_f472bde85cd7", "flow_sha256": "f472bde85cd71f9efa705e214b9116488f98ae014b28a84532bb73a58a5e610d", "harness_sha256": "750abf42d8d1b8f9f7917eabb03883a25e8821679a881da9cb7e734707a1ccb2", "checks": {"total": 306, "passed": 304, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 18.62, "peak_mem_gb": 0.66, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_38bf691fb8d4", "flow_sha256": "38bf691fb8d411a011028f94ab8029d6a0f6600f03df671bf3f0a686bc15e6bf", "harness_sha256": "61cda78c3ed3fbdb23c558937265e08b3665d05101ae496a369704cedc600548", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.09, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "nucleo_g071rb", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "nucleo_g071rb", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_202150aacc0e", "flow_sha256": "202150aacc0e96838db96a0ba019bf3eeb0cdeb34c51922141517e0adc27e68f", "harness_sha256": "f657e995d4c957a214f8833ee977380504eb47ea2a1f88b7ccb697a3b9d757a1", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.25, "peak_mem_gb": 0.04, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_d9ae5257fbe8", "flow_sha256": "d9ae5257fbe8ccca2b3650b3e382bfb6b226f1d10c7ff153d08aada1491b2472", "harness_sha256": "9a565173f71636e4321c3633abbdee58300500c0875cc32f7858c5f1b9b8bd4f", "checks": {"total": 454, "passed": 449, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 7.75, "peak_mem_gb": 0.52, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "nucleo_g071rb", "target": "embassy", "status": "proved", "reason": null, "id": "nucleo_g071rb_embassy_1a59aa99ed1c", "flow_sha256": "1a59aa99ed1c09be2cc5557b9488cd6cde7a90e4777d37e52a8f198262d00dc1", "harness_sha256": "b73bc683b1ff4e14857712bae893c4daa6e0ad6ae68f71405869a2ac60dc941d", "checks": {"total": 274, "passed": 272, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 44.98, "peak_mem_gb": 1.33, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_out", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_492c8a451a9e", "flow_sha256": "492c8a451a9eaaaf6a3dccc3410d1f8c4e69006b98a05847280a3e727fb6582a", "harness_sha256": "4129c7fcf7e768f24204ee63c5bdf1ce7160244ed85f4a89a949f7400e8a170c", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.07, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_ad632c6c0c59", "flow_sha256": "ad632c6c0c594d21cfe5523d6b45d912beca1889dec9f579149a150df4008865", "harness_sha256": "eaf4c1b3e8361c709d7226d3907b426dfede8f06b91885430e78a2324c0fd122", "checks": {"total": 52, "passed": 52, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.12, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_fc323c034570", "flow_sha256": "fc323c034570f86cea27a5f8f144e6b86ef214d842a54d856e7c92f957acc029", "harness_sha256": "19d9d7e62ad9b42960b6face91b4d975e2f674405d49bbab38cf37b74cbb26c8", "checks": {"total": 47, "passed": 47, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.08, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_42438c260d6d", "flow_sha256": "42438c260d6d17ae3a7fa23b429ffd67d4ad8593966119d7d147919ab7fbe1e6", "harness_sha256": "beda9a291242b02eebe4e202291dce726c2a0048cc7c2ee644355fdc9d3bb607", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.08, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_6e99db91080d", "flow_sha256": "6e99db91080d478c24057f244a5fd4df3859e5439754b009ccb67258d5d721cd", "harness_sha256": "efc2083754c268d3dd984071228da2f4604666375822f390edcb1643eed5a6ec", "checks": {"total": 66, "passed": 66, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.16, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_103af1d7c038", "flow_sha256": "103af1d7c038025f67ffd56b93e4c48de831dd8f3868cc5e6c20489b0feca1ad", "harness_sha256": "f988c741d1d82f7666f53cab5cc754e407cf119ca35eb00a62d24a1d38b257dc", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.12, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_35c095f97678", "flow_sha256": "35c095f97678c967b08c9927f23c9fe22e47b73e8b5e25f559f036b258025663", "harness_sha256": "0d926df787e570bd309c4f11dc5f5812cb67e87dfb3d207f245a217d7a92f96c", "checks": {"total": 162, "passed": 158, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 1.72, "peak_mem_gb": 0.08, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_d124055bdb8e", "flow_sha256": "d124055bdb8ebbc0f5da11cab69f1aef20dc6f9f2ce019012b381ea3ffc05946", "harness_sha256": "93b3ce455901749b88d4747b108c968940156545bacb495479d183877824d30e", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.16, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_29c0019ef3f2", "flow_sha256": "29c0019ef3f28b04213fa392f7c4d9a96efabf6cfeaeb918cbfb234b8e4f67e7", "harness_sha256": "93f668f545d8ea6c9b910f92ae5fd7854cc6bf35f1efc904b44874e9d337f4b6", "checks": {"total": 147, "passed": 146, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 1.25, "peak_mem_gb": 0.09, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_62d95a1c556e", "flow_sha256": "62d95a1c556ed5dc56a87b58d1627774d4eb72a69baf82ff3c3850eb08d8d3bd", "harness_sha256": "bb7f04f28c75147afeb7dcbdb6e267d32caedeb691e997878c4126c0766b07f4", "checks": {"total": 124, "passed": 123, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 1.87, "peak_mem_gb": 0.11, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_df5c38bc8e23", "flow_sha256": "df5c38bc8e231464455bb121fd5e7265a6c526368bb222b3fe92f70175de7763", "harness_sha256": "487725313c678afea994f688f29c4389eb6de5173d7d2e3f6b78f1de9babba58", "checks": {"total": 143, "passed": 142, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 2.49, "peak_mem_gb": 0.22, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_d38e2111cee9", "flow_sha256": "d38e2111cee9a3cbf938911fdc911a9863a7786b528173f9085d63a766a49822", "harness_sha256": "ce66db1abeb8f115c522c4ac49c423a230fe4c1ed140fdb16cf3b67347174c05", "checks": {"total": 299, "passed": 295, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 12.58, "peak_mem_gb": 0.76, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_196295e63cc4", "flow_sha256": "196295e63cc45bbb7a76cf88d759257eedcf2f0e220a0dd4721ed619e98e1640", "harness_sha256": "b69beb5a5d188b87f1500854131d781cc20cbcce229e0e6f5f3b66828935ef09", "checks": {"total": 70, "passed": 70, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 22.86, "peak_mem_gb": 0.6, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_c40f398e3973", "flow_sha256": "c40f398e39731b99a89c887aaffa0b479a0c5fa46773dec8f619e8451bed04b0", "harness_sha256": "70e743602b90f6a8658504208d62854abaae41a9213fdcc3568ac7ae16629538", "checks": {"total": 175, "passed": 174, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 9.93, "peak_mem_gb": 0.23, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_7d1ae61254b3", "flow_sha256": "7d1ae61254b343321ed855b9bfa96297fd864884065059b2a89d06a256062202", "harness_sha256": "bddddbb565d5765d5c8d7849f7f0be53550aca137d10f4c30af3a3f53120ec76", "checks": {"total": 191, "passed": 190, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 10.29, "peak_mem_gb": 0.45, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_103af1d7c038", "flow_sha256": "103af1d7c038025f67ffd56b93e4c48de831dd8f3868cc5e6c20489b0feca1ad", "harness_sha256": "f988c741d1d82f7666f53cab5cc754e407cf119ca35eb00a62d24a1d38b257dc", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.12, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "nucleo_g071rb", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "nucleo_g071rb", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_21fa522d2253", "flow_sha256": "21fa522d22535e1577724363a5f9e6b85f635db7ccf9c8a004721747450d285d", "harness_sha256": "3dac0d2d1db3304545f20020504832ca5fd17dfbdbf838238564bb3b551d0acd", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.35, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_9d864a4c756a", "flow_sha256": "9d864a4c756ab93640cc9f0a7e5d11913c405102ab4758e107a8f96e18ee3b22", "harness_sha256": "71d409f64f19bfeca55d059d934fbef3713a9908789b56476ff3ffd1e19c8425", "checks": {"total": 284, "passed": 280, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.43, "peak_mem_gb": 0.33, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "nucleo_g071rb", "target": "rtic", "status": "proved", "reason": null, "id": "nucleo_g071rb_rtic_93dd85e63013", "flow_sha256": "93dd85e6301394217d7969e764007e7011036d22922ed67536be2952e5cdff2d", "harness_sha256": "a93ad3d8f449367fd585daa78cefe63e0a11b6406240e4d9d35c8b1addc8d1b1", "checks": {"total": 110, "passed": 110, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 33.22, "peak_mem_gb": 0.97, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_out", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_2b45f981477b", "flow_sha256": "2b45f981477bfb15e7fe344b4eda19764271c2ad73cfa0966c10bb8e962af018", "harness_sha256": "0eb6f8ee8079e61a6a5a0ee516a660a16a6758620a82177ad09aecc7ac1e3529", "checks": {"total": 69, "passed": 67, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.09, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_839fc24ed411", "flow_sha256": "839fc24ed4118ca7b328feda632565fdd93a14103940949165c132e1bac7f2bf", "harness_sha256": "1982b4800bb99af134990c59ff7d735f43fbbac3dd0768a478c66628bf4032f8", "checks": {"total": 88, "passed": 86, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.28, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_7ddb5621a700", "flow_sha256": "7ddb5621a700cc440d7b7b0832d7d4a74b26a4c5f74deec54b4b51cc82be3a02", "harness_sha256": "abfb55640760f1477e9e2ef4089619ededec427e6e4cc1ebf1f987aff77f067f", "checks": {"total": 83, "passed": 81, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.13, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_cd6afded8312", "flow_sha256": "cd6afded83123a7e7cb8bcbe535c4cfe57549e80c7e4abd6c211402be404b220", "harness_sha256": "1f584fbdbae925f057999726550c79a57f75036c253976ec9fd583e0e105824e", "checks": {"total": 122, "passed": 120, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.14, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_343884f1f4d5", "flow_sha256": "343884f1f4d56d64e3cc6a98c9f60125ce04ef3bd394d53536adafc438981f3b", "harness_sha256": "85473bcfbaae9484df4d20b9d6d7c6b8279902c20d520ef0842dbb9c4ab12707", "checks": {"total": 128, "passed": 126, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.19, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_bbed3124481f", "flow_sha256": "bbed3124481f08aaf97ce84eed1880710230a89e57f0560dd83435440aae028c", "harness_sha256": "dcf8cca5de2c8bd7bfba95c5c77c93120be13d9c8398dc663c9a0c0a7ffcb24a", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.18, "peak_mem_gb": 0.01, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_52bb0690604e", "flow_sha256": "52bb0690604e1be9eb058d86e836d759ab60e4e2adbd02bcaf66b1948e0628b6", "harness_sha256": "d865c0edaecf873b8c11c47d9690e2ae8027e11c6188f88aac5c123af870a60a", "checks": {"total": 283, "passed": 278, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.14, "peak_mem_gb": 0.14, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_bc9d7bd1bc34", "flow_sha256": "bc9d7bd1bc341efb3902d10ca9fd2215bc693fb83c8d382eb2d12feae258847f", "harness_sha256": "6fd2e036d91a50090504718f4987130d9d65798e2cf08ed94d21f25d7b751e36", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.2, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_95379d23712a", "flow_sha256": "95379d23712a8da02de027e7013fb9cc096d5abcc815e7d47e6c4031da503f89", "harness_sha256": "113807a9f39133251c3d8841b9ab097aad1bb429bffff110f5f170c13b1239f7", "checks": {"total": 268, "passed": 266, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.23, "peak_mem_gb": 0.12, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_ea38d95d08d2", "flow_sha256": "ea38d95d08d2e43bcdd5e469648b897b7f5f49a4d7499dd06b1e8bfd42f79f3d", "harness_sha256": "23d4903866bd76f579d97f8f1cc899598905d408bc0334d52e1275b4c986a8d9", "checks": {"total": 239, "passed": 237, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 3.77, "peak_mem_gb": 0.23, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_1e6c1d7788d3", "flow_sha256": "1e6c1d7788d3b8f72eb9b4f85ebf161a5c0b8d08fafb535456a7608a79ee47e5", "harness_sha256": "4fa3f85320c452e24b6bba71c1e2c501d1737f748d0a5403410b2ec87fb6c2da", "checks": {"total": 281, "passed": 279, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.63, "peak_mem_gb": 0.34, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_57ef5108e0a2", "flow_sha256": "57ef5108e0a2a3ca9268ec80b72a5cb32e3bf2c86af93fe039f26bad1259d964", "harness_sha256": "c2fdcd6ff036bb8a0168096523dff1b06a0e6ca5750d7608b79911874d9b9249", "checks": {"total": 515, "passed": 510, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 24.09, "peak_mem_gb": 1.27, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_b81ffc44672c", "flow_sha256": "b81ffc44672c7c7ad7658be20dfaa9b4b76f9df58a85f15f89fb2f99f50e57f8", "harness_sha256": "b23ce3f376153ba639d054d002bf0d39b01d7f99e171efec055baadd40437b0d", "checks": {"total": 234, "passed": 232, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 27.2, "peak_mem_gb": 0.67, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_76dbb7457aff", "flow_sha256": "76dbb7457affa981aaa63f165c3dc10df980ae68de03f8e642294a73f15b61d4", "harness_sha256": "3dc7f4c9f4774e4d3d4c735cf5387b2d6d37622ef6377661e3ca4501b67239f6", "checks": {"total": 210, "passed": 208, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 11.5, "peak_mem_gb": 0.25, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_a9f40f8da946", "flow_sha256": "a9f40f8da94677851adaa56728c4a4d0e56bbf35ec119c022bab4e04791d1755", "harness_sha256": "c2362cfb978b094eb5ac0458eb265d7c72ccf8eae268c75c415e8f61b46db6f2", "checks": {"total": 306, "passed": 304, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 19.7, "peak_mem_gb": 0.65, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_bbed3124481f", "flow_sha256": "bbed3124481f08aaf97ce84eed1880710230a89e57f0560dd83435440aae028c", "harness_sha256": "dcf8cca5de2c8bd7bfba95c5c77c93120be13d9c8398dc663c9a0c0a7ffcb24a", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.18, "peak_mem_gb": 0.01, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "rpi_pico", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "rpi_pico", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_fe7f2aa0214d", "flow_sha256": "fe7f2aa0214da2709d4d74288532868f0f3838515959857b3e5788986528afe1", "harness_sha256": "d45f3a3578b6298c2e36a2c63dca845b002db5ae21a61ccdb861cef5a24c1ec7", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.32, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_d4715a833be7", "flow_sha256": "d4715a833be7195f84dadceaee0ebc55466c74472bea1c4e237e7917b0131621", "harness_sha256": "238483a17f6e76f178a544523ba3b05335ecaf5d031d7e39c5e175ab1106c0ff", "checks": {"total": 454, "passed": 449, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 9.43, "peak_mem_gb": 0.52, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "rpi_pico", "target": "embassy", "status": "proved", "reason": null, "id": "rpi_pico_embassy_cf49f89bc992", "flow_sha256": "cf49f89bc992bfa16b31f4da03f87149ba4bbe96a0da3deba454234402323e2e", "harness_sha256": "970ac9517305c1c439165049f755e26d4bc7b393e05970acd1f591d4d7ad7306", "checks": {"total": 274, "passed": 272, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 44.65, "peak_mem_gb": 1.32, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_out", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_da49eff7845a", "flow_sha256": "da49eff7845a4683d1112e8565ace28af4622719d047aa33276d3508d2baf26a", "harness_sha256": "2da537bc36b24338697d6a7596cb4bce328fa0e56fd1e8d55469e1f4b4ad7645", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.09, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_8d838276f49d", "flow_sha256": "8d838276f49dca78145fe3c4053bac67735de7a547a65353fbb796b6041bdde1", "harness_sha256": "c9c2434d5b0a9f1e6a964c5c68c45a3adfd35386528f92ddf9486019279e939b", "checks": {"total": 52, "passed": 52, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.12, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_4b88c57946a4", "flow_sha256": "4b88c57946a4844ba33005495c0f5a8bb99446da12b0c5dd7237a852c5ae5b70", "harness_sha256": "c770fec2419929e3020a6a409701fcf548bcefbedbeb522d0244b992eea80452", "checks": {"total": 47, "passed": 47, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.29, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_7e61c42ff4b1", "flow_sha256": "7e61c42ff4b1d7616e5046acee645f98eeab00d7c0438cc4a94d469bc603b7c2", "harness_sha256": "3be1141c09ff2a367a7d6f0de4c6d807cb9df37185e18424133d1ced0bd554a2", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.1, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_b5dde2c67590", "flow_sha256": "b5dde2c6759098b0b28239ce2cac962ff82d892d8df5ed33cdabeea842129e7e", "harness_sha256": "d53b15f5865479c5aec5358fb0a04ad856ea4d100fa8953e9b32e3a625706a4c", "checks": {"total": 66, "passed": 66, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.19, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_f1e521f035f3", "flow_sha256": "f1e521f035f3a432505b6981b2cc9d67ee88d5d21796827e749236404a1b319f", "harness_sha256": "d6505cde7e91720db3bffd727a296cf2ed2e9ac4a103526cc0634060d499c8ca", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.08, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_a3e9972ddd81", "flow_sha256": "a3e9972ddd8167229d2fc29388ee727b423e08716e8810ff7f1fd30fcdca9575", "harness_sha256": "253fee2b925d4dab9c5823b8c395795017499de0f69bf848f43f7fda56f78364", "checks": {"total": 162, "passed": 158, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.74, "peak_mem_gb": 0.09, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_f5f98b10c05b", "flow_sha256": "f5f98b10c05b848af003fa66c2a1f0e9b1a2d7e21466fd0a8c63f3ac9e868cb0", "harness_sha256": "9fb9da8e5307e4d05438e39faaec6c63b2e1c111496aabf2faa217b516c8a9d9", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.15, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_ed43b5ed354e", "flow_sha256": "ed43b5ed354e805cb5679ee4a89af934d27bf39bf5766373d8a8fae427f2979a", "harness_sha256": "42d3748675528c9920b120aa2496a46fd250cb0cc99ed40ca6e4b4ab2431d29e", "checks": {"total": 147, "passed": 146, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 1.1, "peak_mem_gb": 0.09, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_e4daa247d0bd", "flow_sha256": "e4daa247d0bd40a0ddaefb9ce191fba360b3e12dbc088f38d900323b21f24e4f", "harness_sha256": "3152c0f88aa7c87f3359ef482a66178b8c3866d17ca88ad71b2c36877676d438", "checks": {"total": 124, "passed": 123, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 1.95, "peak_mem_gb": 0.11, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_01647dc9309e", "flow_sha256": "01647dc9309e7202c7de6407940ee5c2fcae0891210e59f3d6c7344d5ef91509", "harness_sha256": "aefb61e73e5065d39a8be46d25b8d0726bb8186f193d5cb65cb6a3eb1d59e071", "checks": {"total": 143, "passed": 142, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 3.22, "peak_mem_gb": 0.22, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_a90165455fad", "flow_sha256": "a90165455fad7a10f7e02c19f862c20aad9c6746bb6693b4329ddd18633716f2", "harness_sha256": "fb591e091770a488e8471fb09b5244f2147e395d076c47b15ac39c0adc83cc01", "checks": {"total": 299, "passed": 295, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 19.64, "peak_mem_gb": 0.76, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_9254d92d7588", "flow_sha256": "9254d92d7588b900aab6bf5db55f0842ed9019a88c63633900c3aea37de3b870", "harness_sha256": "61d9e6949c95530c2649be5600c2e7a6f5346773942e78fe71b24614a20cb77b", "checks": {"total": 70, "passed": 70, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 13.99, "peak_mem_gb": 0.59, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_803695300ecd", "flow_sha256": "803695300ecd003312438eb3d9fd0b612370a6715e354dc80c6911002715836c", "harness_sha256": "58e3018b5c79377eae9f09736e365f844cdefe2c38b712c5de9b2df7b822fc23", "checks": {"total": 175, "passed": 174, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 16.38, "peak_mem_gb": 0.22, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_742cb8c33782", "flow_sha256": "742cb8c33782391f61a51247179f7e549e87b0ff14d05e6587b8d2141bf7691d", "harness_sha256": "2062f9ce616c87f9e6bb4be007291d8b4742dbe7abdc1c4d8d10aa3334c4c20b", "checks": {"total": 191, "passed": 190, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 13.96, "peak_mem_gb": 0.45, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_f1e521f035f3", "flow_sha256": "f1e521f035f3a432505b6981b2cc9d67ee88d5d21796827e749236404a1b319f", "harness_sha256": "d6505cde7e91720db3bffd727a296cf2ed2e9ac4a103526cc0634060d499c8ca", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.08, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "rpi_pico", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "rpi_pico", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_1f322664ff26", "flow_sha256": "1f322664ff26061951bc03e6588b080cad68000e27f842701c6db6936fa7a9c8", "harness_sha256": "f5c9ab6a3ca49a6a20623a9cd4edec62e3524ac79f2cf4e42f79064d54ff2c86", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.32, "peak_mem_gb": 0.03, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_9c1f5861d5d3", "flow_sha256": "9c1f5861d5d3994012c8453b4f27008bc9e0979321556dc0ce4eaee247040ae0", "harness_sha256": "6d41fbffa9c71f9f5a46a58b756ddb16515541c2bb877821a5e2ed7b5b7a82a3", "checks": {"total": 284, "passed": 280, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.7, "peak_mem_gb": 0.33, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "rpi_pico", "target": "rtic", "status": "proved", "reason": null, "id": "rpi_pico_rtic_f8b70b913306", "flow_sha256": "f8b70b9133063e1091e899b9f819deed10376ddd9f628386075e0a71f55841ba", "harness_sha256": "c90bf2dd1b9e26fe1e14e289927c682982232aa4aac46adf7d1512c2ed081745", "checks": {"total": 110, "passed": 110, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 33.44, "peak_mem_gb": 0.98, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_out", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_3d90f2b6ae08", "flow_sha256": "3d90f2b6ae089209d7754a5e73bbaaf3b7ab134447a2f8f80881e8b63d0593e6", "harness_sha256": "74cb31926896af39f8af2a1bafc10691aa32b764597b0f44ddc86d70ea080712", "checks": {"total": 69, "passed": 67, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.1, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_d10e04cfc947", "flow_sha256": "d10e04cfc947dc1dc5b0bcb46251b2ebd8b888deecf3e8f08e2dfbd9541d7c9c", "harness_sha256": "3dd90aac0e1344fcc71351c12b620313f4a0d576e2cb60d2b2808ae3148d2ca4", "checks": {"total": 88, "passed": 86, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.15, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_81dba05c3bf6", "flow_sha256": "81dba05c3bf67b5e85882738435b71624c6b8beb466405ff81566b929a91d75d", "harness_sha256": "32814c5d0df25465ed95ca54e00f958f3fc098f6b938a6ccdffbba249feebd3d", "checks": {"total": 83, "passed": 81, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.13, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_ae5bb4120034", "flow_sha256": "ae5bb412003494bc945e6608bec9a8d9503cc1289531ca5614070458cb135ba0", "harness_sha256": "624ffab2c80555c8fe8e7e7092f11a39117f8e44688b000e662afe441cba987d", "checks": {"total": 122, "passed": 120, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.12, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_131f1c727bea", "flow_sha256": "131f1c727bea2444308ead3fb905a06db66057394cc8d413f0bda5b1cbb45980", "harness_sha256": "4dbd63652e8374576f925cebcbd1cb8dc17c06840b51e34a774fde83ad7ae5f0", "checks": {"total": 128, "passed": 126, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.19, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_2b70ec542a17", "flow_sha256": "2b70ec542a17a702b6082adb966d69c85846c915540ae60441e7ff8c38114f30", "harness_sha256": "cd61cee86ee644061ed7821f19d3159931b3300a0a227b76d8c2013d28f37687", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.1, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_c8787aabb70e", "flow_sha256": "c8787aabb70e1b787f7ab00ea9c0ce06ecf4b7fc92c7432c50062f440c4dd92c", "harness_sha256": "b6f0152d3eccc9fe3e5225714abca9c6e2641a907856417829f7a23ea822d9e8", "checks": {"total": 283, "passed": 278, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 2.08, "peak_mem_gb": 0.11, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_49f8669ad169", "flow_sha256": "49f8669ad169bfb6bfc741fea1eac8b032bc461dfcbafb7d249f05fd85654609", "harness_sha256": "8246e435324743cbb7d3f6140a86de396e5e1e79b26bbc3719844d72f40431c1", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.16, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_74667a2e9b10", "flow_sha256": "74667a2e9b10448ff589ef12199b2b719b6b8d976bb7dfa49cb93b5679133d68", "harness_sha256": "de9aecce22c9049a4ccdb76fc243f37035a0a2b699d2f90131371503960d4e63", "checks": {"total": 268, "passed": 266, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 1.7, "peak_mem_gb": 0.08, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_32439997d43b", "flow_sha256": "32439997d43bd417f2b3842e664329891ea9224b30019683d27d2cee28dbc3e3", "harness_sha256": "26cb044c51a0990e8e3e2ab99b7602dabfe1c63ed4193783b9729082878ccb76", "checks": {"total": 239, "passed": 237, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 2.81, "peak_mem_gb": 0.23, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_8a91a58d92b7", "flow_sha256": "8a91a58d92b7a3f180cf0997c81c7b918ee1f68be0908f6998416b2bc140f01f", "harness_sha256": "87e7f77b18d62308fc3e7122a6230339c297f40f03a1bf1fe2e4559b9f771e23", "checks": {"total": 281, "passed": 279, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.82, "peak_mem_gb": 0.34, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_e2c8d58f18ca", "flow_sha256": "e2c8d58f18ca13144f55603682d23ad6dab6bf05eee4c4cdc3b6680bfdee1d19", "harness_sha256": "0e57f529f7484d9e1d1d938b4a2823e81c403f58e9d6d50be040aa0208155ffd", "checks": {"total": 515, "passed": 510, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 22.92, "peak_mem_gb": 1.29, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_e5ef8ead0cce", "flow_sha256": "e5ef8ead0cce0b8abcce57adb8e18d735ee1581ab1065d18b67c50824b339ac9", "harness_sha256": "ae1ae4bb0d242a4ec42063134cc523f8331f899554f6b2a3494dd6a7ee9f1ed6", "checks": {"total": 234, "passed": 232, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 18.06, "peak_mem_gb": 0.67, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_6a2f48d67a34", "flow_sha256": "6a2f48d67a34209f57b6848ab9a25ecd1f6b49b32d126fd56b9273d1d95a647f", "harness_sha256": "7e6670929c25f5dfbb5b8174c6ba850e0ddb86d1cb5d039706ba0f8aa5a95984", "checks": {"total": 210, "passed": 208, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 10.66, "peak_mem_gb": 0.26, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_a955b014f7a4", "flow_sha256": "a955b014f7a44f1a63cf352dad4fadbe3b7d23595b065ed43b813d48375079eb", "harness_sha256": "7ac96874f41e2d97a96d36f1a9e618db9c174c5ca2496ffd361f290632db75c7", "checks": {"total": 306, "passed": 304, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 19.15, "peak_mem_gb": 0.67, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_2b70ec542a17", "flow_sha256": "2b70ec542a17a702b6082adb966d69c85846c915540ae60441e7ff8c38114f30", "harness_sha256": "cd61cee86ee644061ed7821f19d3159931b3300a0a227b76d8c2013d28f37687", "checks": {"total": 65, "passed": 63, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.1, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "refused", "reason": "the embassy target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_12aff2bf4540", "flow_sha256": "12aff2bf45402233057b3163dc1cc7042a125abf4a2b9bfb0fd36301251768f0", "harness_sha256": "ad151a2c74ca9d3d746a3accad1d44403b746cc906e531c1fc04f71d01444ad6", "checks": {"total": 133, "passed": 131, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.25, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_10bf5ec5f538", "flow_sha256": "10bf5ec5f53850f4dd7d2808a20165280992ee9a687c774cbb031562e8fbfbfa", "harness_sha256": "6a9371fe5ebe84a99ae499f0e4b790ff80d31a42182378e1cd5aec1d91db6396", "checks": {"total": 454, "passed": 449, "failed": 0, "unreachable": 5, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 7.68, "peak_mem_gb": 0.52, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "sparkfun_thing_plus_rp2040", "target": "embassy", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_embassy_4d5e40dbeec0", "flow_sha256": "4d5e40dbeec0c9c0c1e4fde5172bcab40e0e756990ca43bfaacfa3c0ee212f77", "harness_sha256": "ffeee258919104086e243009f6974013c54bf1a3e99c4ad1af3355b59899f484", "checks": {"total": 274, "passed": 272, "failed": 0, "unreachable": 2, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 45.04, "peak_mem_gb": 1.34, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_out", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_6c996d247f5c", "flow_sha256": "6c996d247f5ccc0b62ef1ac417ebcc0a21a456deb6c6cb39bf6ee8d771f2a1c7", "harness_sha256": "a74b71ac4d868f31ad6e21610c63c27d1478e5afd3ff82a829992e4c362afa8c", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.08, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "digital_in+not", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_f54639ea2273", "flow_sha256": "f54639ea22731b79c36c27ef92653e9895eeec00cd4e4b12c2a1bc66acf9f238", "harness_sha256": "05909b97ec02baa6f794b5c2e24ec8b61f7d4f113aac4f353c785272e769f506", "checks": {"total": 52, "passed": 52, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.25, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "pwm", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_04bc2ff27be7", "flow_sha256": "04bc2ff27be79d5d6cdda4d08438bfa4af2de95a5b4c77b38b4c3e349af1915e", "harness_sha256": "e2642f14eb02fb4d0e6d2d49d51032a8cd38871f41d72f6fb96e0ebbd2085d37", "checks": {"total": 47, "passed": 47, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.09, "peak_mem_gb": 0.01, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "delay", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_9d2027ba9009", "flow_sha256": "9d2027ba9009de48878a0e22329b429782817a4113fc4b32e6e3603bb3b74f38", "harness_sha256": "14a70b29d3d2c9fcf093a5997682fdcc72cb82980a3b598f909128ffa069ec58", "checks": {"total": 33, "passed": 33, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.07, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "timer.interval", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_62fd59c422cd", "flow_sha256": "62fd59c422cd4000973851d8da598828c0d28aa5a8475711be58d3bbf63c8f35", "harness_sha256": "13aa79994351688201e0015894c894dfaeb704f5fc7e2b886754f8a4cdc266b9", "checks": {"total": 66, "passed": 66, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.14, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "adc", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_75a9152c6265", "flow_sha256": "75a9152c6265626eaa571427674d72f03d7b7b23f16c23c487462b45e1ed0a02", "harness_sha256": "6222efcb1c82e133e86d5de4ab8ec1175e8e9a282670c29be5970310cbc3dbe5", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.07, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "spi.transfer", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_e31a9bd90a35", "flow_sha256": "e31a9bd90a353d7bd9aaf3d55f8c221d5119100bdf2c19debd9cb5b7cfa7dc56", "harness_sha256": "675c1a62d1ddc7cd67677d0a52a1bbf94e47670690fe17d481e688be8827749b", "checks": {"total": 162, "passed": 158, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 1.93, "peak_mem_gb": 0.14, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.read", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_5c00570d7003", "flow_sha256": "5c00570d7003a155c89d6bc3de072dde2289a124eccfd36bd287069b66f7d73c", "harness_sha256": "6d7862de09eb58c6213f24ccc1787edcbbd078c679d60b0acba700c13906fde0", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 4, "time_s": 0.14, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "i2c.write", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_727b1449dba9", "flow_sha256": "727b1449dba9ebb6c0f02eed853ab8e69980d33b98c4fbcef399733c5d6ee4b9", "harness_sha256": "7b209ff3b190024cfb3262e0e98540297db1c05480ffa5d6a2511a5a89919c65", "checks": {"total": 147, "passed": 146, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 6, "time_s": 1.09, "peak_mem_gb": 0.09, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.read", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_7f727733139a", "flow_sha256": "7f727733139a6a2b4edbed9601068168e44e85038472f516528ec55874727402", "harness_sha256": "1c9a0c78f166ead3d543ef11c9f5f7c6b908187efc573fecb81a4c9d1f231a32", "checks": {"total": 124, "passed": 123, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 1.69, "peak_mem_gb": 0.11, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "uart.write (echo)", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_ad17bc2a4dab", "flow_sha256": "ad17bc2a4dab3b97b4868c143d6bfbc442bb8e1e7356fb222363801098f7cb37", "harness_sha256": "1691669be40f1d3efa75a8addac07aca565233055cd0c09fc184228d7edd0973", "checks": {"total": 143, "passed": 142, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 2.78, "peak_mem_gb": 0.15, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "mcuio (all but PWM)", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_bdf57c11f15f", "flow_sha256": "bdf57c11f15fe8aaed8390e093db48dc2efc2d3403bddbd481507bb47df66bcc", "harness_sha256": "8b6a5fb94c1dda92f4a2faa7a3b444d4be2b37f3d35e3a4e28dd521d287e1947", "checks": {"total": 299, "passed": 295, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 13.62, "peak_mem_gb": 0.8, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: adc.capture fir rms", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_2ba478180b63", "flow_sha256": "2ba478180b63e40fea34a37c986cfc2dbeacafaad6d9204f6eb3050cc2d8e6c8", "harness_sha256": "8753f7f2e1900478e2a53d29908e67c71835e0f46d557acb80abba451952b04c", "checks": {"total": 70, "passed": 70, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 34, "time_s": 18.29, "peak_mem_gb": 0.6, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: i2c.read biquad decimate variance", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_bfa5e378c925", "flow_sha256": "bfa5e378c9259cc02b85bdac1e682d8547e64d81004830d864ca5de154a25f0a", "harness_sha256": "6d40f83db7332c41b747ea1425091965806fbe1d814f15d27575d4a26577d987", "checks": {"total": 175, "passed": 174, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 11.24, "peak_mem_gb": 0.22, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "frame: uart.read fir max min mean", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_cd41c4c5d8dc", "flow_sha256": "cd41c4c5d8dcda55b57c007e48d39d2512efdfce15468d644330e8fac10ac770", "harness_sha256": "bdba193a5837d55bb4f0018846ca3b11fe5da7e4b42ea05539a4cc8bc5631eaf", "checks": {"total": 191, "passed": 190, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 18, "time_s": 13.6, "peak_mem_gb": 0.45, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-adc", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_75a9152c6265", "flow_sha256": "75a9152c6265626eaa571427674d72f03d7b7b23f16c23c487462b45e1ed0a02", "harness_sha256": "6222efcb1c82e133e86d5de4ab8ec1175e8e9a282670c29be5970310cbc3dbe5", "checks": {"total": 29, "passed": 29, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 2, "time_s": 0.07, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "start: mcu-gpio", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: BoolLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.gpio.digital_out (its `state` input is wired from BoolLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-pwm", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "refused", "reason": "the rtic target refuses: FloatLiteral (not on the MCU target surface: embassy and RTIC lower the embedded widgets (GPIO in and out, PWM, delay, timer, ADC and ADC capture, SPI, I2C read and write, UART read and write), logic.not, and the fixed-size frame DSP (samples from bytes, FIR, biquad cascade, moving statistic, decimate)); embedded.pwm (its `duty` input is wired from FloatLiteral, which this target does not lower)"},
|
|
{"graph": "start: mcu-i2c", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_46ef54c7f7ab", "flow_sha256": "46ef54c7f7aba6f9eba97c251e7610b12b18a321693846136d11cba91003f1a7", "harness_sha256": "9ba6f075de6114d8c963fb8a6b01664ba311bc1c0c7044789002cb534dd76884", "checks": {"total": 98, "passed": 97, "failed": 0, "unreachable": 1, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 0.25, "peak_mem_gb": null, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_io.fdsl", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_0d2d6a24b818", "flow_sha256": "0d2d6a24b818046f9887f7038aa512ab371492d7624d35d9bffafada9467659d", "harness_sha256": "25cde1bfe9680c25ed8ca84d215fcdce783fcc965174674bb1c298971b2c5ee1", "checks": {"total": 284, "passed": 280, "failed": 0, "unreachable": 4, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 10, "time_s": 4.8, "peak_mem_gb": 0.35, "budget": {"mem_gb": 8, "timeout_s": 600}},
|
|
{"graph": "e2e: mcu_dsp.fdsl", "board": "sparkfun_thing_plus_rp2040", "target": "rtic", "status": "proved", "reason": null, "id": "sparkfun_thing_plus_rp2040_rtic_5d9a72242887", "flow_sha256": "5d9a722428874dcab54635daba3736cc5e3bdb42121bbbdfa09e5a602751850c", "harness_sha256": "413414057505575bb4193990a03eaa57a4684ef6dd702c75ba0970b7b08ad5b0", "checks": {"total": 110, "passed": 110, "failed": 0, "unreachable": 0, "undetermined": 0}, "covers": {"total": 2, "satisfied": 2}, "unwind": 66, "time_s": 50.42, "peak_mem_gb": 0.99, "budget": {"mem_gb": 8, "timeout_s": 600}}
|
|
]
|
|
}
|