Alan-Jowett / sonde / 24522494905
82%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 113
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 80.77%. Remained the same
24522494905

push

github

web-flow 
test(gateway): add Prevail verifier coverage for all 17 BPF helper prototypes (#743)

* test(gateway): add Prevail verifier coverage for all 17 BPF helper prototypes

Add systematic verifier coverage tests that construct minimal BPF
bytecode for each helper, wrap in a valid ELF, and verify via
ProgramLibrary::ingest_elf() with SondePlatform.

15 helpers pass verification with properly typed arguments:
  i2c_read(1), i2c_write(2), i2c_write_read(3), spi_transfer(4),
  gpio_read(5), gpio_write(6), adc_read(7), send(8), send_recv(9),
  get_time(12), get_battery_mv(13), delay_us(14), set_next_wake(15),
  bpf_trace_printk(16), send_async(17)

2 helpers ignored (require ELF map sections for PtrToMap args):
  map_lookup_elem(10), map_update_elem(11)

Includes reusable BPF instruction encoding helpers for constructing
test bytecode without clang dependency.

Closes #729

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* style(gateway): use match for cleaner verifier error output

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

---------

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

24159 of 29911 relevant lines covered (80.77%)

205.68 hits per line

Jobs
ID Job ID Ran Files Coverage
1 24522494905.1 113
80.77
 GitHub Action Run
Source Files on build 24522494905