Started 2 yr 1 mo ago
Took 21 min

Success Build #57 (Oct 24, 2018 2:28:56 PM)

Build Artifacts
Changes
  1. Add Overture 2.6.2 release notes (details / githubweb)
  2. Prepare release of Overture 2.6.2 (details / githubweb)
  3. [maven-release-plugin] prepare release Release/2.6.2 (details / githubweb)
  4. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  5. Removed location from ADefPatternBind.toString() (details / githubweb)
  6. Correction to seq1 concatenation typechecking (details / githubweb)
  7. VDMTools is not CSK or SCSK product anymore (details / githubweb)
  8. Detect patterns that always match in cases statements, fixes #688 (details / githubweb)
  9. Fix concat and union patterns to match [] and {} (details / githubweb)
  10. Don't do cyclic dep check if there are TC errors. (details / githubweb)
  11. Correct typecheck of inds [] to return an empty set (details / githubweb)
  12. Support Java code-generation of 'renamed' constructs (details / githubweb)

Push event to branch test at 14:28:49 on 24-Oct-2018

Revision: 63d10191222784cf461a98f9fdad75c5643670cd
  • test
Task Scanner: 419 open tasks in 1,690 workspace files.
Task Scanner: 220 open tasks in 995 workspace files.
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH44%
    COMPLEXITY44%
    LINE54%
    METHOD55%
    CLASS79%
    Task Scanner: 466 open tasks in 3,409 workspace files.
    Task Scanner: 220 open tasks in 995 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH44%
    COMPLEXITY44%
    LINE54%
    METHOD55%
    CLASS79%
    Task Scanner: 467 open tasks in 3,484 workspace files.
    Task Scanner: 419 open tasks in 1,690 workspace files.