LCOV - code coverage report | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Filename | Line Coverage | Functions | Branches | |||||
test_api.h |
|
100.0 % | 8 / 8 | 100.0 % | 1 / 1 | - | 0 / 0 | |
test_context.h |
|
100.0 % | 1 / 1 | 100.0 % | 1 / 1 | - | 0 / 0 | |
test_env.h |
|
100.0 % | 5 / 5 | 100.0 % | 1 / 1 | - | 0 / 0 | |
test_node.h |
|
100.0 % | 8 / 8 | 100.0 % | 1 / 1 | - | 0 / 0 | |
test_parser.h |
|
100.0 % | 7 / 7 | 80.0 % | 4 / 5 | - | 0 / 0 | |
test_smt.h |
|
51.5 % | 34 / 66 | 31.6 % | 24 / 76 | 0.0 % | 0 / 7 | |
test_with_smt_parser.h |
|
100.0 % | 18 / 18 | 100.0 % | 4 / 4 | - | 0 / 0 |
Generated by: LCOV version 1.14 |