kaidokert / rm32 / 25230743663

63%

push

github

Make EdtScheduler flags private, add request_init/request_deinit (#38)

* Make EdtScheduler send_init/send_deinit private, add request methods

Replace pub flag fields with request_init()/request_deinit() setters.
Firmware ISR handler now calls request methods instead of writing
flags directly. Tests use the public API instead of field access.

* Verify init one-shot is consumed in test

Call next_frame() a second time and assert it does NOT produce another
init frame, verifying the request_init flag was cleared after first use.

12 of 13 new or added lines in 1 file covered. (92.31%)

3604 of 5730 relevant lines covered (62.9%)

768.52 hits per line