LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/transcendental Hit Total Coverage
Test: coverage.info Lines: 1263 1352 93.4 %
Date: 2026-01-28 13:01:50 Functions: 63 67 94.0 %
Branches: 757 1341 56.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
exponential_solver.cpp
97.1%97.1%
 97.1 % 133 / 137 88.9 % 8 / 9 69.6 % 71 / 102
proof_checker.cpp
93.8%93.8%
 93.8 % 255 / 272 100.0 % 5 / 5 40.6 % 147 / 362
sine_solver.cpp
96.2%96.2%
 96.2 % 306 / 318 91.7 % 11 / 12 63.3 % 171 / 270
sine_solver.h
83.3%83.3%
 83.3 % 20 / 24 100.0 % 4 / 4 57.1 % 8 / 14
taylor_generator.cpp
93.2%93.2%
 93.2 % 110 / 118 100.0 % 6 / 6 60.6 % 57 / 94
transcendental_solver.cpp
85.9%85.9%
 85.9 % 201 / 234 85.7 % 12 / 14 61.4 % 148 / 241
transcendental_state.cpp
95.6%95.6%
 95.6 % 238 / 249 100.0 % 17 / 17 60.1 % 155 / 258

Generated by: LCOV version 1.14