Started 2 mo 4 days ago
Took 40 sec on master

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

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