Skip to content
Jenkins
log in
Jenkins
overturetool
hdm/development
#3
Test Results
ENABLE AUTO REFRESH
History
Git Build Data
See Fingerprints
Coverage Report
Test Result
Coverage Report
Coverage Report
Open Tasks
Coverage Report
Maven
Open Tasks
Embeddable Build Status
Pipeline Steps
Workspaces
Previous Build
Next Build
Test Result
4 failures (+4) , 1,782 skipped (+1697)
6,916 tests (+6497)
Took 2 min 54 sec.
All Failed Tests
Test Name
Duration
Age
Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]
Loading...
19 ms
1
Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]
Loading...
9 ms
1
Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]
Loading...
10 ms
1
Install IDE / org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]
Loading...
3 ms
1
All Tests
Package
Duration
Fail
(diff)
Skip
(diff)
Pass
(diff)
Total
(diff)
(root)
0.13 sec
0
0
84
+84
84
+84
org.overture.codegen.tests
2.5 sec
0
0
28
+28
28
+28
org.overture.codegen.tests.exec
0 ms
0
1380
+1380
0
1380
+1380
org.overture.codegen.tests.other
7.6 sec
0
0
170
+170
170
+170
org.overture.codegen.tests.output
30 sec
0
0
1408
+1408
1408
+1408
org.overture.codegen.tests.util
2 ms
0
0
6
+6
6
+6
org.overture.core.npp
0.51 sec
0
0
194
+194
194
+194
org.overture.core.testing.samples
1.4 sec
0
0
4
+2
4
+2
org.overture.ct.ctruntime.tests
39 sec
0
0
70
+70
70
+70
org.overture.interpreter.tests
26 ms
0
0
6
+3
6
+3
org.overture.interpreter.tests.newtests
14 sec
0
2
+1
110
+79
112
+80
org.overture.interpreter.tests.stdlibs
70 ms
0
0
18
+18
18
+18
org.overture.isapog
3.3 sec
0
6
+6
2
+2
8
+8
org.overture.parser.tests
6.6 sec
0
0
168
+112
168
+112
org.overture.pog.tests
0.34 sec
0
0
14
+7
14
+7
org.overture.pog.tests.newtests
6.3 sec
0
168
+84
208
+104
376
+188
org.overture.typechecker.tests
19 sec
0
0
393
+262
393
+262
org.overture.typechecker.tests.external
8.6 sec
4
+4
0
1771
+1771
1775
+1775
org.overture.vdm2jml.tests
13 sec
0
20
+20
336
+336
356
+356
org.overture.vdm2jml.tests.exec
0 ms
0
200
+200
0
200
+200
org.overturetool.cgisa
3.2 sec
0
6
+6
140
+140
146
+146