Skip to content

Add a HAVE_COVERAGE symbol to configure the runtime to support coverage#503

Merged
Alasdair merged 1 commit intosail2from coverage_rtsApr 24, 2024

Commits

Commits on Apr 24, 2024