LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/build/src/rewriter Hit Total Coverage
Test: coverage.info Lines: 1970 1971 99.9 %
Date: 2026-04-26 10:45:53 Functions: 16 16 100.0 %
Branches: 725 1450 50.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
rewrites-arith-rewrites-transcendentals.cpp
100.0%
 100.0 % 20 / 20 100.0 % 1 / 1 - 0 / 0
rewrites-arith-rewrites.cpp
100.0%
 100.0 % 127 / 127 100.0 % 1 / 1 50.0 % 60 / 120
rewrites-arrays-rewrites.cpp
100.0%
 100.0 % 32 / 32 100.0 % 1 / 1 50.0 % 12 / 24
rewrites-booleans-rewrites.cpp
100.0%
 100.0 % 135 / 135 100.0 % 1 / 1 50.0 % 54 / 108
rewrites-builtin-rewrites.cpp
100.0%
 100.0 % 36 / 36 100.0 % 1 / 1 50.0 % 16 / 32
rewrites-bv-rewrites-elimination.cpp
100.0%
 100.0 % 123 / 123 100.0 % 1 / 1 50.0 % 52 / 104
rewrites-bv-rewrites-simplification.cpp
100.0%
 100.0 % 440 / 440 100.0 % 1 / 1 50.0 % 124 / 248
rewrites-bv-rewrites.cpp
100.0%
 100.0 % 215 / 215 100.0 % 1 / 1 50.0 % 66 / 132
rewrites-sets-rewrites-card.cpp
100.0%
 100.0 % 13 / 13 100.0 % 1 / 1 50.0 % 4 / 8
rewrites-sets-rewrites.cpp
100.0%
 100.0 % 60 / 60 100.0 % 1 / 1 50.0 % 30 / 60
rewrites-strings-rewrites-regexp-membership.cpp
100.0%
 100.0 % 44 / 44 100.0 % 1 / 1 50.0 % 12 / 24
rewrites-strings-rewrites.cpp
100.0%
 100.0 % 648 / 648 100.0 % 1 / 1 50.0 % 270 / 540
rewrites-uf-rewrites.cpp
100.0%
 100.0 % 56 / 56 100.0 % 1 / 1 50.0 % 24 / 48
rewrites.cpp
95.5%95.5%
 95.5 % 21 / 22 100.0 % 3 / 3 50.0 % 1 / 2

Generated by: LCOV version 1.14