Skip to content
Jenkins
log in
Jenkins
All
overture-pvj-main
#167
Test Result
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Polling Log
Git Build Data
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Test Result
20 failures (+20) , 389 skipped (+6)
8,372 tests (±0)
Module
Fail
(diff)
Total
(diff)
org.overturetool.core:interpreter
0
977
org.overturetool.core:isapog
0
4
org.overturetool.core:npp
0
97
org.overturetool.core:parser
0
56
org.overturetool.core:pog
0
195
org.overturetool.core:typechecker
4
+4
1906
org.overturetool.core.codegen:codegen-runtime
0
42
org.overturetool.core.codegen:isagen
0
73
org.overturetool.core.codegen:javagen
3
+3
1479
org.overturetool.core.codegen:platform
0
17
org.overturetool.core.codegen:vdm2jml
0
278
org.overturetool.core.combinatorialtesting:ctruntime
0
35
org.overturetool.core.testing:samples
13
+13
3213
Failed Tests
org.overturetool.core:typechecker
Test Name
Duration
Age
org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]
Loading...
34 ms
2
org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]
Loading...
14 ms
2
org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]
Loading...
41 ms
2
org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]
Loading...
2 ms
2
org.overturetool.core.codegen:javagen
Test Name
Duration
Age
org.overture.codegen.tests.exec.ClassicJavaGenTest.test[CashDispenserPP.vdmpp]
Loading...
1.7 sec
2
org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest.test[POP3_LogBased_Test1.vdmpp]
Loading...
2.5 sec
2
org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest.test[CashDispenserPP.vdmpp]
Loading...
1.4 sec
2
org.overturetool.core.testing:samples
Test Name
Duration
Age
org.overture.core.testing.samples.SampleExternalsTest.testCase[63 : extension-13.vpp]
Loading...
23 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[64 : extension-12.vpp]
Loading...
8 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[65 : extension-01.vpp]
Loading...
7 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[1494 : letexpr-23.vdm]
Loading...
1 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[2365 : extension-13.vpp]
Loading...
4 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[2366 : extension-12.vpp]
Loading...
3 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[2367 : extension-01.vpp]
Loading...
3 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3157 : modules-01.vdm]
Loading...
5 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3158 : modules-06.vdm]
Loading...
4 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3159 : modules-04.vdm]
Loading...
4 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3160 : modules-05.vdm]
Loading...
3 ms
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3161 : modules-03.vdm]
Loading...
0.61 sec
2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3162 : modules-02.vdm]
Loading...
4 ms
2