Skip to content
Jenkins
log in
Jenkins
overturetool
ncb/annotations
#1
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
Next Build
Test Result
0 failures , 3,874 skipped
21,510 tests
Took 6 min 0 sec.
All Tests
Package
Duration
Fail
(diff)
Skip
(diff)
Pass
(diff)
Total
(diff)
(root)
0.15 sec
0
0
84
+84
84
+84
org.overture.codegen.tests
5.1 sec
0
0
56
+56
56
+56
org.overture.codegen.tests.exec
0 ms
0
2708
+2708
0
2708
+2708
org.overture.codegen.tests.other
14 sec
0
0
340
+340
340
+340
org.overture.codegen.tests.output
57 sec
0
0
2760
+2760
2760
+2760
org.overture.codegen.tests.util
30 ms
0
0
12
+12
12
+12
org.overture.core.npp
0.96 sec
0
0
388
+388
388
+388
org.overture.core.testing.samples
28 sec
0
0
6430
+6430
6430
+6430
org.overture.ct.ctruntime.tests
50 sec
0
0
140
+140
140
+140
org.overture.interpreter.tests
0.13 sec
0
0
12
+12
12
+12
org.overture.interpreter.tests.external
13 sec
0
362
+362
1456
+1456
1818
+1818
org.overture.interpreter.tests.newtests
33 sec
0
4
+4
224
+224
228
+228
org.overture.interpreter.tests.stdlibs
0.1 sec
0
0
36
+36
36
+36
org.overture.isapog
6.5 sec
0
12
+12
4
+4
16
+16
org.overture.parser.tests
10 sec
0
0
224
+224
224
+224
org.overture.pog.tests
0.7 sec
0
0
28
+28
28
+28
org.overture.pog.tests.newtests
15 sec
0
336
+336
416
+416
752
+752
org.overture.typechecker.tests
22 sec
0
0
524
+524
524
+524
org.overture.typechecker.tests.external
18 sec
0
0
3550
+3550
3550
+3550
org.overture.vdm2jml.tests
34 sec
0
40
+40
672
+672
712
+712
org.overture.vdm2jml.tests.exec
0 ms
0
400
+400
0
400
+400
org.overturetool.cgisa
8.5 sec
0
12
+12
280
+280
292
+292