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