LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/transcendental Hit Total Coverage
Test: coverage.info Lines: 1236 1336 92.5 %
Date: 2025-02-19 11:37:34 Functions: 63 67 94.0 %
Branches: 736 1309 56.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
exponential_solver.cpp
97.0%97.0%
 97.0 % 128 / 132 88.9 % 8 / 9 68.4 % 67 / 98
proof_checker.cpp
89.5%89.5%
 89.5 % 238 / 266 100.0 % 5 / 5 40.4 % 134 / 332
sine_solver.cpp
94.9%94.9%
 94.9 % 297 / 313 91.7 % 11 / 12 61.3 % 163 / 266
sine_solver.h
83.3%83.3%
 83.3 % 20 / 24 100.0 % 4 / 4 57.1 % 8 / 14
taylor_generator.cpp
96.6%96.6%
 96.6 % 114 / 118 100.0 % 6 / 6 61.0 % 61 / 100
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