Newer
Older
[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 15 (out of 48)
Semantically reached functions = 15
Coverage estimation = 100.0%
[metrics] References to non-analyzed functions
------------------------------------
[metrics] Statements analyzed by Eva
--------------------------
295 stmts in analyzed functions, 267 stmts analyzed (90.5%)
cgc_RANDOM: 2 stmts out of 2 (100.0%)
cgc_allocate: 9 stmts out of 9 (100.0%)
cgc_my_srand: 2 stmts out of 2 (100.0%)
cgc_receive: 9 stmts out of 9 (100.0%)
cgc_toInt: 22 stmts out of 22 (100.0%)
cgc_transmit: 9 stmts out of 9 (100.0%)
cgc_transmit_str: 3 stmts out of 3 (100.0%)
main: 61 stmts out of 65 (93.8%)
cgc_init: 42 stmts out of 45 (93.3%)
cgc_readline: 21 stmts out of 24 (87.5%)
cgc_rotN: 21 stmts out of 24 (87.5%)
cgc_scramble: 35 stmts out of 41 (85.4%)
cgc_transmit_all_zPcz: 17 stmts out of 20 (85.0%)
cgc_strrotcpy: 13 stmts out of 18 (72.2%)
cgc__terminate: 1 stmts out of 2 (50.0%)