LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/transcendental Hit Total Coverage
Test: coverage.info Lines: 1393 1502 92.7 %
Date: 2026-10-08 09:35:38 Functions: 67 73 91.8 %
Branches: 849 1518 55.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.9%96.9%
 96.9 % 155 / 160 90.0 % 9 / 10 63.2 % 86 / 136
proof_checker.cpp
95.7%95.7%
 95.7 % 287 / 300 100.0 % 5 / 5 41.8 % 179 / 428
sine_solver.cpp
96.5%96.5%
 96.5 % 334 / 346 91.7 % 11 / 12 63.8 % 180 / 282
sine_solver.h
87.2%87.2%
 87.2 % 34 / 39 100.0 % 5 / 5 76.2 % 16 / 21
taylor_generator.cpp
91.7%91.7%
 91.7 % 111 / 121 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