Skip to content
Jenkins
log in
Jenkins
overturetool
dependabot/maven/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 11 min.
All Tests
Package
Duration
Fail
(diff)
Skip
(diff)
Pass
(diff)
Total
(diff)
(root)
0.41 sec
0
0
168
+168
168
+168
org.overture.codegen.tests
9.4 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
28 sec
0
0
340
+340
340
+340
org.overture.codegen.tests.output
1 min 49 sec
0
0
2816
+2816
2816
+2816
org.overture.codegen.tests.util
8 ms
0
0
12
+12
12
+12
org.overture.core.npp
1.9 sec
0
0
388
+388
388
+388
org.overture.core.testing.samples
1 min 20 sec
0
0
6430
+6430
6430
+6430
org.overture.ct.ctruntime.tests
1 min 30 sec
0
0
140
+140
140
+140
org.overture.interpreter.tests
0.55 sec
0
0
12
+12
12
+12
org.overture.interpreter.tests.external
37 sec
0
364
+364
1454
+1454
1818
+1818
org.overture.interpreter.tests.newtests
55 sec
0
4
+4
220
+220
224
+224
org.overture.interpreter.tests.stdlibs
1.3 sec
0
0
36
+36
36
+36
org.overture.isapog
10 sec
0
12
+12
4
+4
16
+16
org.overture.parser.tests
12 sec
0
0
224
+224
224
+224
org.overture.pog.tests
1.3 sec
0
0
28
+28
28
+28
org.overture.pog.tests.newtests
27 sec
0
336
+336
416
+416
752
+752
org.overture.typechecker.tests
32 sec
0
0
524
+524
524
+524
org.overture.typechecker.tests.external
38 sec
0
0
3550
+3550
3550
+3550
org.overture.vdm2jml.tests
56 sec
0
40
+40
672
+672
712
+712
org.overture.vdm2jml.tests.exec
0 ms
0
400
+400
0
400
+400
org.overturetool.cgisa
16 sec
0
12
+12
280
+280
292
+292