Skip to content
Jenkins
log in
Jenkins
All
overture-pvj-main
#167
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
Started 11 mo ago
Took
15 min
on master
Build #167 (May 17, 2020 7:09:42 PM)
Changes
Guard against missing module names (
commit: 50da1be
) (
details
/
githubweb
)
Changes in dependency
The Code Generation Platform
? →
(
detail
)
Overture Sample Tests
? →
(
detail
)
The Overture release notes
? →
(
detail
)
Provided Annotations
? →
(
detail
)
The Java Code Generator Maven Plugin
? →
(
detail
)
Combinatorial Testing Runtime
? →
(
detail
)
The VDM parser
? →
(
detail
)
Code Generation
? →
(
detail
)
Core Tools
? →
(
detail
)
Combinatorial Testing Utilities
? →
(
detail
)
The VDM to JML Generator
? →
(
detail
)
VDM Pretty Printing
? →
(
detail
)
The Java Code Generator Testing
? →
(
detail
)
The VDM Type Checker
? →
(
detail
)
The Overture Abstract Syntax Tree
? →
(
detail
)
New Pretty Printer
? →
(
detail
)
POG - Isagen Integration
? →
(
detail
)
Overture External Resources
? →
(
detail
)
Overture Testing Framework
? →
(
detail
)
The Intermediate Representation Tree
? →
(
detail
)
The Proof Obligation Generator
? →
(
detail
)
The Overture Tool Platform root
? →
(
detail
)
The VDM to JML Generator Runtime
? →
(
detail
)
Overture Testing
? →
(
detail
)
The VDM Interpreter
? →
(
detail
)
The Java Code Generator Runtime
? →
(
detail
)
Test Framework for Overture
? →
(
detail
)
Documentation
? →
(
detail
)
Overture Core Command Line Tool
? →
(
detail
)
Combinatorial Testing
? →
(
detail
)
The VDM to Isabelle Translator
? →
(
detail
)
The Java Code Generator
? →
(
detail
)
The VDM Pretty Printer
? →
(
detail
)
VDM Annotations
? →
(
detail
)
Annotation Examples
? →
(
detail
)
Started by GitHub push by peterwvj
Revision
: 50da1bede0cb5308d4caa79a5778d3648baf939b
refs/remotes/origin/pvj/main
Test Result
(20 failures / +20)
org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]
org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]
org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]
org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]
org.overture.codegen.tests.exec.ClassicJavaGenTest.test[CashDispenserPP.vdmpp]
org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest.test[POP3_LogBased_Test1.vdmpp]
org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest.test[CashDispenserPP.vdmpp]
org.overture.core.testing.samples.SampleExternalsTest.testCase[63 : extension-13.vpp]
org.overture.core.testing.samples.SampleExternalsTest.testCase[64 : extension-12.vpp]
org.overture.core.testing.samples.SampleExternalsTest.testCase[65 : extension-01.vpp]
org.overture.core.testing.samples.SampleExternalsTest.testCase[1494 : letexpr-23.vdm]
org.overture.core.testing.samples.SampleExternalsTest.testCase[2365 : extension-13.vpp]
org.overture.core.testing.samples.SampleExternalsTest.testCase[2366 : extension-12.vpp]
org.overture.core.testing.samples.SampleExternalsTest.testCase[2367 : extension-01.vpp]
org.overture.core.testing.samples.SampleExternalsTest.testCase[3157 : modules-01.vdm]
org.overture.core.testing.samples.SampleExternalsTest.testCase[3158 : modules-06.vdm]
org.overture.core.testing.samples.SampleExternalsTest.testCase[3159 : modules-04.vdm]
org.overture.core.testing.samples.SampleExternalsTest.testCase[3160 : modules-05.vdm]
org.overture.core.testing.samples.SampleExternalsTest.testCase[3161 : modules-03.vdm]
org.overture.core.testing.samples.SampleExternalsTest.testCase[3162 : modules-02.vdm]
Show all failed tests >>>
Module Builds
Core Tools
1 sec
Documentation
0.5 sec
Overture External Resources
3.2 sec
The Overture Tool Platform root
1.9 sec
VDM Annotations
0.55 sec
The Overture Abstract Syntax Tree
20 sec
Code Generation
0.53 sec
Combinatorial Testing
0.57 sec
Overture Core Command Line Tool
3.7 sec
The VDM Interpreter
22 sec
POG - Isagen Integration
4.3 sec
New Pretty Printer
2.9 sec
The VDM parser
11 sec
The Proof Obligation Generator
10 sec
VDM Pretty Printing
0.6 sec
Test Framework for Overture
1.2 sec
Overture Testing
0.57 sec
The VDM Type Checker
20 sec
Annotation Examples
1.1 sec
Provided Annotations
1.1 sec
The Java Code Generator Maven Plugin
7.8 sec
The Java Code Generator Runtime
3.6 sec
The Intermediate Representation Tree
13 sec
The VDM to Isabelle Translator
6 sec
The Java Code Generator
10 min
The Java Code Generator Testing
1.3 sec
The Code Generation Platform
5.8 sec
The VDM to JML Generator
17 sec
The VDM to JML Generator Runtime
1.5 sec
Combinatorial Testing Runtime
23 sec
Combinatorial Testing Utilities
1.1 sec
The VDM Pretty Printer
1.1 sec
Overture Testing Framework
1.2 sec
Overture Sample Tests
18 sec
The Overture release notes
1 sec