Build Overture Sample Tests (May 17, 2020 7:09:59 PM)

	Build Artifacts samples-2.7.5-SNAPSHOT.jar 2.10 KB  view samples-2.7.5-SNAPSHOT.pom 2.27 KB  view
	No changes. Changes in dependency Overture Testing  ? → (detail) Overture Testing Framework #165 → #167 (detail) The Overture Abstract Syntax Tree #165 → #167 (detail) The VDM parser #165 → #167 (detail) Core Tools  ? → (detail) Overture Sample Tests  ? → (detail) Test Framework for Overture #165 → #167 (detail) The VDM Type Checker #165 → #167 (detail) The Overture Tool Platform root  ? → (detail)
	Test Result (13 failures / +13) 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 >>>