LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/transcendental Hit Total Coverage
Test: coverage.info Lines: 1336 1432 93.3 %
Date: 2026-03-15 10:41:23 Functions: 63 67 94.0 %
Branches: 788 1385 56.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
exponential_solver.cpp
96.6%96.6%
 96.6 % 142 / 147 88.9 % 8 / 9 68.5 % 74 / 108
proof_checker.cpp
93.4%93.4%
 93.4 % 269 / 288 100.0 % 5 / 5 40.6 % 147 / 362
sine_solver.cpp
96.4%96.4%
 96.4 % 323 / 335 91.7 % 11 / 12 63.9 % 175 / 274
sine_solver.h
83.3%83.3%
 83.3 % 20 / 24 100.0 % 4 / 4 57.1 % 8 / 14
taylor_generator.cpp
92.1%92.1%
 92.1 % 117 / 127 100.0 % 6 / 6 60.6 % 57 / 94
transcendental_solver.cpp
86.3%86.3%
 86.3 % 215 / 249 85.7 % 12 / 14 63.2 % 165 / 261
transcendental_state.cpp
95.4%95.4%
 95.4 % 250 / 262 100.0 % 17 / 17 59.6 % 162 / 272

Generated by: LCOV version 1.14