[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 11 (out of 11)
Semantically reached functions = 11
Coverage estimation = 100.0%
[metrics] Statements analyzed by Eva
--------------------------
328 stmts in analyzed functions, 324 stmts analyzed (98.8%)
A: 2 stmts out of 2 (100.0%)
B: 6 stmts out of 6 (100.0%)
D: 17 stmts out of 17 (100.0%)
G: 47 stmts out of 47 (100.0%)
H: 26 stmts out of 26 (100.0%)
I: 11 stmts out of 11 (100.0%)
J: 22 stmts out of 22 (100.0%)
K: 122 stmts out of 122 (100.0%)
main: 22 stmts out of 22 (100.0%)
C: 28 stmts out of 29 (96.6%)
F: 21 stmts out of 24 (87.5%)