Skip to content
Jenkins
log in
Jenkins
overturetool
ncb/annotations
#13
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 7 min 3 sec.
All Tests
Package
Duration
Fail
(diff)
Skip
(diff)
Pass
(diff)
Total
(diff)
(root)
0.11 sec
0
0
84
84
org.overture.codegen.tests
5.2 sec
0
0
56
56
org.overture.codegen.tests.exec
0 ms
0
2708
0
2708
org.overture.codegen.tests.other
23 sec
0
0
340
340
org.overture.codegen.tests.output
54 sec
0
0
2760
2760
org.overture.codegen.tests.util
10 ms
0
0
12
12
org.overture.core.npp
1.1 sec
0
0
388
388
org.overture.core.testing.samples
22 sec
0
0
6430
6430
org.overture.ct.ctruntime.tests
1 min 26 sec
0
0
140
140
org.overture.interpreter.tests
94 ms
0
0
12
12
org.overture.interpreter.tests.external
15 sec
0
362
1456
1818
org.overture.interpreter.tests.newtests
52 sec
0
4
224
228
org.overture.interpreter.tests.stdlibs
0.61 sec
0
0
36
36
org.overture.isapog
5.5 sec
0
12
4
16
org.overture.parser.tests
8.4 sec
0
0
224
224
org.overture.pog.tests
0.67 sec
0
0
28
28
org.overture.pog.tests.newtests
15 sec
0
336
416
752
org.overture.typechecker.tests
34 sec
0
0
524
524
org.overture.typechecker.tests.external
18 sec
0
0
3550
3550
org.overture.vdm2jml.tests
32 sec
0
40
672
712
org.overture.vdm2jml.tests.exec
0 ms
0
400
0
400
org.overturetool.cgisa
8.6 sec
0
12
280
292