Skip to content
Jenkins
log in
Jenkins
overturetool
ncb/annotations
#2
Test Results
Test Results
ENABLE AUTO REFRESH
History
Git Build Data
See Fingerprints
Open Tasks
Open Tasks
Test Result
Coverage Report
Open Tasks
Open Tasks
Coverage Report
Open Tasks
Open Tasks
Embeddable Build Status
Pipeline Steps
Workspaces
Previous Build
Next Build
Test Result
0 failures (±0) , 3,874 skipped (±0)
21,510 tests (±0)
Took 6 min 56 sec.
All Tests
Package
Duration
Fail
(diff)
Skip
(diff)
Pass
(diff)
Total
(diff)
(root)
0.19 sec
0
0
84
84
org.overture.codegen.tests
4.2 sec
0
0
56
56
org.overture.codegen.tests.exec
0 ms
0
2708
0
2708
org.overture.codegen.tests.other
15 sec
0
0
340
340
org.overture.codegen.tests.output
1 min 7 sec
0
0
2760
2760
org.overture.codegen.tests.util
0 ms
0
0
12
12
org.overture.core.npp
0.96 sec
0
0
388
388
org.overture.core.testing.samples
30 sec
0
0
6430
6430
org.overture.ct.ctruntime.tests
1 min 4 sec
0
0
140
140
org.overture.interpreter.tests
0.12 sec
0
0
12
12
org.overture.interpreter.tests.external
18 sec
0
362
1456
1818
org.overture.interpreter.tests.newtests
29 sec
0
4
224
228
org.overture.interpreter.tests.stdlibs
0.16 sec
0
0
36
36
org.overture.isapog
6.9 sec
0
12
4
16
org.overture.parser.tests
11 sec
0
0
224
224
org.overture.pog.tests
0.96 sec
0
0
28
28
org.overture.pog.tests.newtests
15 sec
0
336
416
752
org.overture.typechecker.tests
19 sec
0
0
524
524
org.overture.typechecker.tests.external
30 sec
0
0
3550
3550
org.overture.vdm2jml.tests
48 sec
0
40
672
712
org.overture.vdm2jml.tests.exec
0 ms
0
400
0
400
org.overturetool.cgisa
9.5 sec
0
12
280
292