Skip to content
Jenkins
log in
Jenkins
overturetool
dependabot/maven/core/codegen/vdm2jml/junit-junit-4.13.1
#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
Test Result
0 failures , 3,928 skipped
21,698 tests
Took 13 min.
All Tests
Package
Duration
Fail
(diff)
Skip
(diff)
Pass
(diff)
Total
(diff)
(root)
0.52 sec
0
0
168
+168
168
+168
org.overture.codegen.tests
8.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
31 sec
0
0
340
+340
340
+340
org.overture.codegen.tests.output
2 min 15 sec
0
0
2816
+2816
2816
+2816
org.overture.codegen.tests.util
0 ms
0
0
12
+12
12
+12
org.overture.core.npp
1.8 sec
0
0
388
+388
388
+388
org.overture.core.testing.samples
1 min 24 sec
0
0
6430
+6430
6430
+6430
org.overture.ct.ctruntime.tests
1 min 19 sec
0
0
140
+140
140
+140
org.overture.interpreter.tests
0.14 sec
0
0
12
+12
12
+12
org.overture.interpreter.tests.external
39 sec
0
364
+364
1454
+1454
1818
+1818
org.overture.interpreter.tests.newtests
1 min 13 sec
0
4
+4
220
+220
224
+224
org.overture.interpreter.tests.stdlibs
0.92 sec
0
0
36
+36
36
+36
org.overture.isapog
8.9 sec
0
12
+12
4
+4
16
+16
org.overture.parser.tests
20 sec
0
0
224
+224
224
+224
org.overture.pog.tests
2.1 sec
0
0
28
+28
28
+28
org.overture.pog.tests.newtests
37 sec
0
336
+336
416
+416
752
+752
org.overture.typechecker.tests
57 sec
0
0
524
+524
524
+524
org.overture.typechecker.tests.external
52 sec
0
0
3550
+3550
3550
+3550
org.overture.vdm2jml.tests
1 min 8 sec
0
40
+40
672
+672
712
+712
org.overture.vdm2jml.tests.exec
0 ms
0
400
+400
0
400
+400
org.overturetool.cgisa
17 sec
0
12
+12
280
+280
292
+292