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
--------------------------
53 stmts in analyzed functions, 53 stmts analyzed (100.0%)
main: 53 stmts out of 53 (100.0%)