[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 1 (out of 1)
Semantically reached functions = 1
Coverage estimation = 100.0%
[metrics] Statements analyzed by Eva
--------------------------
8 stmts in analyzed functions, 8 stmts analyzed (100.0%)
main: 8 stmts out of 8 (100.0%)