metrics.log

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