mCoq report for structtact

SHA: 5c54c0389d081993232292f132e876ae812f04ca

Report Time: 2019-12-07 12:58:02.215142

Coq Version: 8.10

MCoq Mode: default

Total Running Time (ms): 144145

Total Sercomp Time (ms): 19784

Number of Timeouts: 0

Number of Equivelent Mutants: 0

Number of Files: 19

File Name Mutation Operator Mutation Score Generated Killed
All files Total for structtact
96.0%
104 100
Assoc.v All ()
100.0%
16 16
Before.v All ()
40.0%
5 2
BeforeAll.v All ()
100.0%
1 1
BoolUtil.v All ()
100.0%
3 3
Dedup.v All ()
100.0%
5 5
FilterMap.v All ()
100.0%
5 5
Fin.v All ()
100.0%
31 31
Nth.v All ()
90.0%
10 9
Prefix.v All ()
100.0%
1 1
PropUtil.v All ()
100.0%
3 3
RemoveAll.v All ()
100.0%
1 1
StringOrders.v All ()
100.0%
2 2
Subseq.v All ()
100.0%
1 1
Update.v All ()
100.0%
2 2
Update2.v All ()
100.0%
18 18
Created with mCoq 1.1 Mutation Testing Report for mCoq 1.1