13.1. Code coverage profiling

The COVERAGE module provides code coverage instrumentation. It automatically inserts coverage tracking calls at every block entry point, allowing you to measure which parts of your code are executed during a run.

All functions and symbols are in “coverage” module, use require to get access to it.

require daslib/coverage

Note

This module uses [infer_macro] to instrument code at compile time. Coverage results can be collected and analyzed after program execution.