[Jenkins]Jenkins

Package: org.overture.typechecker.assistant.type

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.assistant.type
M: 230 C: 933
80%
M: 18 C: 84
82%
M: 16 C: 98
86%
M: 93 C: 172
65%
M: 3 C: 60
95%
M: 0 C: 5
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AClassTypeAssistantTC
M: 0 C: 80
100%
M: 0 C: 8
100%
M: 0 C: 10
100%
M: 0 C: 20
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
AFunctionTypeAssistantTC
M: 90 C: 144
62%
M: 10 C: 8
44%
M: 6 C: 9
60%
M: 18 C: 28
61%
M: 1 C: 5
83%
M: 0 C: 1
100%
AOperationTypeAssistantTC
M: 0 C: 148
100%
M: 0 C: 14
100%
M: 0 C: 10
100%
M: 0 C: 27
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
ARecordInvariantTypeAssistantTC
M: 0 C: 27
100%
M: 0 C: 4
100%
M: 0 C: 4
100%
M: 0 C: 8
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
PTypeAssistantTC
M: 140 C: 534
79%
M: 8 C: 50
86%
M: 10 C: 65
87%
M: 75 C: 89
54%
M: 2 C: 44
96%
M: 0 C: 1
100%