LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/transcendental Hit Total Coverage
Test: coverage.info Lines: 1365 1456 93.8 %
Date: 2026-04-29 10:45:04 Functions: 63 67 94.0 %
Branches: 825 1449 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 % 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 % 337 / 345 91.7 % 11 / 12 64.7 % 185 / 286
sine_solver.h
87.5%87.5%
 87.5 % 21 / 24 100.0 % 4 / 4 64.3 % 9 / 14
taylor_generator.cpp
92.1%92.1%
 92.1 % 117 / 127 100.0 % 6 / 6 60.2 % 59 / 98
transcendental_solver.cpp
86.3%86.3%
 86.3 % 215 / 249 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

Generated by: LCOV version 1.14