Fix JSON validation issues concerning missing commas, escaped control characters, and hex escaped 0 value.#179

Merged

jasonpcarroll merged 9 commits intoFreeRTOS:mainfrom

jasonpcarroll:main

Dec 5, 2025

Commits on Dec 2, 2025

Commits on Dec 3, 2025

Fix unit tests and skipOneHexEscape logic for overflows.
czjaso
committed
Fix coverage.
czjaso
committed
Fix coverage workflow.
czjaso
committed
Increase complexity threshold, set formatting to check to run on ubuntu-latest.
czjaso
committed

Commits on Dec 5, 2025

Update CBMC proofs.
czjaso
committed