std1.0.0-beta-7 SafeC docs

std :: debug::coverage

Macro COV_SITE

#include <std/debug/coverage.h> source

#define COV_SITE() do { static int _cov_id = -1; if (_cov_id < 0) { _cov_id = coverage.register_site(__FILE__, __LINE__); } if (_cov_id >= 0) { coverage.hit(_cov_id); } } while(0)