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

	Build Artifacts typechecker-2.7.5-SNAPSHOT.jar 454.58 KB  view typechecker-2.7.5-SNAPSHOT.pom 2.56 KB  view
	No changes. Changes in dependency Core Tools  ? → (detail) The VDM parser #165 → #167 (detail) The Overture Tool Platform root  ? → (detail) Test Framework for Overture #165 → #167 (detail) The VDM Type Checker  ? → (detail) The Overture Abstract Syntax Tree #165 → #167 (detail)
	Test Result (4 failures / +4) 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] Show all failed tests >>>