Add libtest JSON emitter#316

Merged

oli-obk merged 13 commits intooli-obk:mainfrom

kirtchev-adacore:wip/issue-315-add-libtest-json-emitter

May 19, 2025

Commits on May 19, 2025

Add libtest JSON emitter

kirtchev-adacore
authored and
oli-obk
committed
Address review feedback

kirtchev-adacore
authored and
oli-obk
committed
Update status_emitter module comment

kirtchev-adacore
authored and
oli-obk
committed
Add Send, use Box and serde_json::to_string

kirtchev-adacore
authored and
oli-obk
committed
Update CHANGELOG.md

kirtchev-adacore
authored and
oli-obk
committed
Add tests

kirtchev-adacore
authored and
oli-obk
committed
Address review feedback

kirtchev-adacore
authored and
oli-obk
committed
Ran clippy and fmt

kirtchev-adacore
authored and
oli-obk
committed
Fix various issues, update expected output

kirtchev-adacore
authored and
oli-obk
committed
Run clippy and fmt

kirtchev-adacore
authored and
oli-obk
committed
Update expected output, restore clobbered code

kirtchev-adacore
authored and
oli-obk
committed
Add clippy fix

kirtchev-adacore
authored and
oli-obk
committed
Move json tests into the same crate as the test suite they are running
oli-obk
committed