-
David Bühler authored
Also avoids a failure on a recursive function without specification (function factorial in file 00168.c). Adds annotations to disable partitioning in file 00040.c to avoid combinatorial explosion.
David Bühler authoredAlso avoids a failure on a recursive function without specification (function factorial in file 00168.c). Adds annotations to disable partitioning in file 00040.c to avoid combinatorial explosion.
metrics.log 436 B
[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 4 (out of 4)
Semantically reached functions = 4
Coverage estimation = 100.0%
[metrics] Statements analyzed by Eva
--------------------------
59 stmts in analyzed functions, 59 stmts analyzed (100.0%)
main: 33 stmts out of 33 (100.0%)
partition: 15 stmts out of 15 (100.0%)
quicksort: 7 stmts out of 7 (100.0%)
swap: 4 stmts out of 4 (100.0%)