Skip to content
Jenkins
log in
Jenkins
overturetool
dependabot/maven/core/combinatorialtesting/ctruntime/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 12 min.
All Tests
Package
Duration
Fail
(diff)
Skip
(diff)
Pass
(diff)
Total
(diff)
(root)
0.24 sec
0
0
168
+168
168
+168
org.overture.codegen.tests
7.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
21 sec
0
0
340
+340
340
+340
org.overture.codegen.tests.output
2 min 11 sec
0
0
2816
+2816
2816
+2816
org.overture.codegen.tests.util
4 ms
0
0
12
+12
12
+12
org.overture.core.npp
2 sec
0
0
388
+388
388
+388
org.overture.core.testing.samples
57 sec
0
0
6430
+6430
6430
+6430
org.overture.ct.ctruntime.tests
1 min 35 sec
0
0
140
+140
140
+140
org.overture.interpreter.tests
0.51 sec
0
0
12
+12
12
+12
org.overture.interpreter.tests.external
33 sec
0
364
+364
1454
+1454
1818
+1818
org.overture.interpreter.tests.newtests
1 min 27 sec
0
4
+4
220
+220
224
+224
org.overture.interpreter.tests.stdlibs
0.47 sec
0
0
36
+36
36
+36
org.overture.isapog
7.3 sec
0
12
+12
4
+4
16
+16
org.overture.parser.tests
16 sec
0
0
224
+224
224
+224
org.overture.pog.tests
1.5 sec
0
0
28
+28
28
+28
org.overture.pog.tests.newtests
30 sec
0
336
+336
416
+416
752
+752
org.overture.typechecker.tests
1 min 53 sec
0
0
524
+524
524
+524
org.overture.typechecker.tests.external
42 sec
0
0
3550
+3550
3550
+3550
org.overture.vdm2jml.tests
50 sec
0
40
+40
672
+672
712
+712
org.overture.vdm2jml.tests.exec
0 ms
0
400
+400
0
400
+400
org.overturetool.cgisa
15 sec
0
12
+12
280
+280
292
+292