Skip to content
Jenkins
log in
Jenkins
overture-development
#277
Jacoco
org.overture.ast.typechecker
ClassDefinitionSettings
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Artifactory Build Info
Polling Log
Git Build Data
Open Tasks
Test Result
Coverage Report
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Package: ClassDefinitionSettings
ClassDefinitionSettings
name
instruction
branch
complexity
line
method
static {...}
M:
0
C:
34
100%
M:
0
C:
0
100%
M:
0
C:
1
100%
M:
0
C:
2
100%
M:
0
C:
1
100%
Coverage
ERROR: Error while reading the sourcefile!