LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/util - random.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 15 15 100.0 % Date: 2026-04-25 10:46:27 Functions: 5 5 100.0 % Branches: 6 14 42.9 %

Function Name	Hit count
cvc5::internal::Random::getCLNRandstate()	27
double cvc5::internal::Random::pick<double, 0>(double, double)	482
unsigned long cvc5::internal::Random::pick<unsigned long, 0>()	11129
cvc5::internal::Random::getRandom()	4900030
unsigned long cvc5::internal::Random::pick<unsigned long, 0>(unsigned long, unsigned long)	9082149

Generated by: LCOV version 1.14