LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/transcendental Hit Total Coverage
Test: coverage.info Lines: 1383 1494 92.6 %
Date: 2026-06-25 10:42:44 Functions: 65 71 91.5 %
Branches: 833 1466 56.8 %

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 % 143 / 148 88.9 % 8 / 9 68.5 % 74 / 108
proof_checker.cpp
93.6%93.6%
 93.6 % 279 / 298 100.0 % 5 / 5 41.7 % 171 / 410
sine_solver.cpp
97.7%97.7%
 97.7 % 338 / 346 91.7 % 11 / 12 64.7 % 185 / 286
sine_solver.h
87.2%87.2%
 87.2 % 34 / 39 100.0 % 5 / 5 81.0 % 17 / 21
taylor_generator.cpp
92.1%92.1%
 92.1 % 117 / 127 100.0 % 6 / 6 60.2 % 59 / 98
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