LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/transcendental Hit Total Coverage
Test: coverage.info Lines: 1391 1494 93.1 %
Date: 2026-08-24 10:37:28 Functions: 65 71 91.5 %
Branches: 842 1482 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
97.3%97.3%
 97.3 % 144 / 148 88.9 % 8 / 9 70.4 % 76 / 108
proof_checker.cpp
96.0%96.0%
 96.0 % 286 / 298 100.0 % 5 / 5 41.8 % 178 / 426
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