Build #288 (Feb 9, 2021 11:47:32 AM)

	Build Artifacts interpreter-3.0.3-SNAPSHOT-javadoc.jar 2.07 MB  view interpreter-3.0.3-SNAPSHOT.jar 736.78 KB  view interpreter-3.0.3-SNAPSHOT.pom 2.23 KB  view
	Changes Fix FunctionValue compareValueTo for unions, fixes #769 (commit: 40133fe) (details) Introduce InvariantValueMaps from VDMJ, fixes #770 (commit: ee8935e) (details) Correct running of traces with slashes in their name (commit: 132c389) (details) Added seedtrace to CommandReader (commit: a89622c) (details) Removed hard limit on module initialization (commit: 820f098) (details) Add retries to Simon's initialize improvement (commit: 5d44bda) (details) Add class initialize changes for Simon's PR (commit: 7bced1c) (details) Changes in dependency The VDM parser #287 → #288 (detail) The Overture Abstract Syntax Tree #287 → #288 (detail) Overture Testing Framework #287 → #288 (detail) Test Framework for Overture #287 → #288 (detail) The VDM Type Checker #287 → #288 (detail) The VDM Pretty Printer #287 → #288 (detail) The Proof Obligation Generator #287 → #288 (detail)
	Task Scanner: 86 open tasks in 311 workspace files.
	Test Result (no failures)