Skip to content
Jenkins
log in
Jenkins
Overture
overture-master
#30
Test Result
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Git Build Data
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Test Result
0 failures (±0) , 891 skipped (±0)
2,477 tests (±0)
Module
Fail
(diff)
Total
(diff)
org.overturetool.core:interpreter
0
68
org.overturetool.core:isapog
0
4
org.overturetool.core:npp
0
97
org.overturetool.core:parser
0
56
org.overturetool.core:pog
0
195
org.overturetool.core:typechecker
0
131
org.overturetool.core.codegen:codegen-runtime
0
42
org.overturetool.core.codegen:isagen
0
73
org.overturetool.core.codegen:javagen
0
1479
org.overturetool.core.codegen:platform
0
17
org.overturetool.core.codegen:vdm2jml
0
278
org.overturetool.core.combinatorialtesting:ctruntime
0
35
org.overturetool.core.testing:samples
0
2