LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/transcendental Hit Total Coverage
Test: coverage.info Lines: 1240 1339 92.6 %
Date: 2024-11-19 12:40:54 Functions: 63 67 94.0 %
Branches: 735 1307 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.8%89.8%
 89.8 % 237 / 264 100.0 % 5 / 5 40.3 % 133 / 330
sine_solver.cpp
94.9%94.9%
 94.9 % 299 / 315 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.7%96.7%
 96.7 % 117 / 121 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