LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/transcendental Hit Total Coverage
Test: coverage.info Lines: 1387 1505 92.2 %
Date: 2026-09-30 09:33:30 Functions: 67 73 91.8 %
Branches: 841 1502 56.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
exponential_solver.cpp
96.9%96.9%
 96.9 % 155 / 160 90.0 % 9 / 10 63.2 % 86 / 136
proof_checker.cpp
93.3%93.3%
 93.3 % 280 / 300 100.0 % 5 / 5 41.7 % 172 / 412
sine_solver.cpp
96.5%96.5%
 96.5 % 334 / 346 91.7 % 11 / 12 63.8 % 180 / 282
sine_solver.h
82.1%82.1%
 82.1 % 32 / 39 100.0 % 5 / 5 71.4 % 15 / 21
taylor_generator.cpp
91.9%91.9%
 91.9 % 114 / 124 100.0 % 7 / 7 56.5 % 61 / 108
transcendental_solver.cpp
86.5%86.5%
 86.5 % 217 / 251 85.7 % 12 / 14 63.2 % 165 / 261
transcendental_state.cpp
95.5%95.5%
 95.5 % 253 / 265 100.0 % 17 / 17 59.6 % 162 / 272
transcendental_state.h
10.0%10.0%
 10.0 % 2 / 20 33.3 % 1 / 3 0.0 % 0 / 10

Generated by: LCOV version 1.14