Skip to content
Jenkins
log in
Jenkins
overturetool
ncb/annotations
#15
Test Results
DISABLE 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
Test Result
0 failures (±0) , 3,874 skipped (±0)
21,510 tests (±0)
Took 5 min 2 sec.
All Tests
Package
Duration
Fail
(diff)
Skip
(diff)
Pass
(diff)
Total
(diff)
(root)
0.15 sec
0
0
84
84
org.overture.codegen.tests
4.3 sec
0
0
56
56
org.overture.codegen.tests.exec
0 ms
0
2708
0
2708
org.overture.codegen.tests.other
12 sec
0
0
340
340
org.overture.codegen.tests.output
50 sec
0
0
2760
2760
org.overture.codegen.tests.util
0 ms
0
0
12
12
org.overture.core.npp
0.74 sec
0
0
388
388
org.overture.core.testing.samples
19 sec
0
0
6430
6430
org.overture.ct.ctruntime.tests
56 sec
0
0
140
140
org.overture.interpreter.tests
59 ms
0
0
12
12
org.overture.interpreter.tests.external
9.2 sec
0
362
1456
1818
org.overture.interpreter.tests.newtests
27 sec
0
4
224
228
org.overture.interpreter.tests.stdlibs
0.18 sec
0
0
36
36
org.overture.isapog
5.2 sec
0
12
4
16
org.overture.parser.tests
7.2 sec
0
0
224
224
org.overture.pog.tests
0.85 sec
0
0
28
28
org.overture.pog.tests.newtests
11 sec
0
336
416
752
org.overture.typechecker.tests
17 sec
0
0
524
524
org.overture.typechecker.tests.external
13 sec
0
0
3550
3550
org.overture.vdm2jml.tests
31 sec
0
40
672
712
org.overture.vdm2jml.tests.exec
0 ms
0
400
0
400
org.overturetool.cgisa
6.5 sec
0
12
280
292