Started 1 mo 23 days ago
Took 28 sec on master

Success Build #29 (Aug 28, 2020 1:49:29 PM)

Build Artifacts
interpreter-3.0.0-javadoc.jar2.06 MB view
interpreter-3.0.0.jar730.78 KB view
interpreter-3.0.0.pom2.22 KB view
Changes
  1. [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) (details)
  2. Fix maps with invariant typed domains, fixes #731 (commit: b265cea) (details)
  3. Add a hashCode to InvariantValue to return a constant for (commit: 6a89546) (details)
  4. Provide more accurate error location for predicates, fixes #732 (commit: 8ca5489) (details)
  5. Bump version number (commit: 185e89d) (details)
  6. Waits for result of coverage and prints message Fixes #716 (commit: 134c0be) (details)
  7. Fix RecordValue.compareTo to call super.compareTo for different types, (commit: a84093c) (details)
  8. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) (details)
Changes in dependency
  1. The VDM Pretty Printer Success#28Success#29 (detail)
  2. The Overture Abstract Syntax Tree Success#28Success#29 (detail)
  3. The VDM Type Checker Success#28Success#29 (detail)
  4. The Proof Obligation Generator Success#28Success#29 (detail)
  5. Overture Testing Framework Success#28Success#29 (detail)
  6. Test Framework for Overture Success#28Success#29 (detail)
  7. The VDM parser Success#28Success#29 (detail)
  8. The Overture Tool Platform root Success#28Success#29 (detail)
  9. Core Tools Success#28Success#29 (detail)
Test Result (no failures)