Build #167 (May 17, 2020 7:09:42 PM)

	Changes Guard against missing module names (commit: 50da1be) (details / githubweb) Changes in dependency The VDM to Isabelle Translator ? → (detail) POG - Isagen Integration ? → (detail) Combinatorial Testing Utilities ? → (detail) The Overture Tool Platform root ? → (detail) The Overture release notes ? → (detail) Overture Testing ? → (detail) Test Framework for Overture ? → (detail) Annotation Examples ? → (detail) The VDM Interpreter ? → (detail) The Intermediate Representation Tree ? → (detail) The Code Generation Platform ? → (detail) The Java Code Generator ? → (detail) Combinatorial Testing ? → (detail) Overture Core Command Line Tool ? → (detail) The Java Code Generator Maven Plugin ? → (detail) The Overture Abstract Syntax Tree ? → (detail) The VDM Type Checker ? → (detail) Core Tools ? → (detail) The VDM to JML Generator ? → (detail) Overture Sample Tests ? → (detail) The VDM Pretty Printer ? → (detail) The Java Code Generator Runtime ? → (detail) The VDM to JML Generator Runtime ? → (detail) Combinatorial Testing Runtime ? → (detail) Documentation ? → (detail) VDM Pretty Printing ? → (detail) VDM Annotations ? → (detail) Provided Annotations ? → (detail) The Java Code Generator Testing ? → (detail) The VDM parser ? → (detail) Overture Testing Framework ? → (detail) Code Generation ? → (detail) The Proof Obligation Generator ? → (detail) Overture External Resources ? → (detail) New Pretty Printer ? → (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