Skip to content
Jenkins
log in
Jenkins
overturetool
hdm/development
#1
Test Results
ENABLE AUTO REFRESH
History
Git Build Data
See Fingerprints
Coverage Report
Test Result
Coverage Report
Coverage Report
Open Tasks
Coverage Report
Open Tasks
Coverage Report
Maven
Open Tasks
Embeddable Build Status
Pipeline Steps
Workspaces
Next Build
Test Result
0 failures , 3,928 skipped
21,698 tests
Took 5 min 56 sec.
All Tests
Package
Duration
Fail
(diff)
Skip
(diff)
Pass
(diff)
Total
(diff)
(root)
0.21 sec
0
0
168
+168
168
+168
org.overture.codegen.tests
4.7 sec
0
0
56
+56
56
+56
org.overture.codegen.tests.exec
0 ms
0
2760
+2760
0
2760
+2760
org.overture.codegen.tests.other
11 sec
0
0
340
+340
340
+340
org.overture.codegen.tests.output
52 sec
0
0
2816
+2816
2816
+2816
org.overture.codegen.tests.util
10 ms
0
0
12
+12
12
+12
org.overture.core.npp
1.1 sec
0
0
388
+388
388
+388
org.overture.core.testing.samples
24 sec
0
0
6430
+6430
6430
+6430
org.overture.ct.ctruntime.tests
1 min 13 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
9.7 sec
0
364
+364
1454
+1454
1818
+1818
org.overture.interpreter.tests.newtests
33 sec
0
4
+4
220
+220
224
+224
org.overture.interpreter.tests.stdlibs
0.19 sec
0
0
36
+36
36
+36
org.overture.isapog
5.2 sec
0
12
+12
4
+4
16
+16
org.overture.parser.tests
9.5 sec
0
0
224
+224
224
+224
org.overture.pog.tests
0.89 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
23 sec
0
0
524
+524
524
+524
org.overture.typechecker.tests.external
20 sec
0
0
3550
+3550
3550
+3550
org.overture.vdm2jml.tests
26 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 sec
0
12
+12
280
+280
292
+292