Started 5 yr 2 mo ago
Took 14 min

Success Build #3 (Mar 17, 2017 6:03:53 PM)

Build Artifacts
vdmclib-0.1.4.jar101.20 KB view
vdm2c-0.1.4-jar-with-dependencies.jar7.57 MB view
vdm2c-0.1.4.jar359.35 KB view
org.overturetool.vdm2c.ide.cgen-0.1.4.jar4.57 MB view
org.overturetool.vdm2c.ide.features.cgen-0.1.4.jar4.99 KB view
Changes
  1. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  2. Update README to mention important wiki pages (details / githubweb)
  3. Clean up README (details / githubweb)
  4. Add build status (details / githubweb)
  5. README corrections (details / githubweb)
  6. Reverted mistakenly commented out CALL_FUNC macro definition using (details / githubweb)
  7. Add VDM2C 0.1.4 release notes (details / githubweb)
  8. Prepare release of VDM2C 0.1.4 (details / githubweb)
  9. [maven-release-plugin] prepare release Release/0.1.4 (details / githubweb)

Branch indexing

Revision: 9b4a56a333f57837f3c9eb101f7be83ea8f3fa38
  • master
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION58%
    BRANCH39%
    COMPLEXITY35%
    LINE56%
    METHOD52%
    CLASS85%
    Task Scanner: 22 open tasks in 139 workspace files.
      Jacoco - Overall Coverage Summary
      INSTRUCTION58%
      BRANCH39%
      COMPLEXITY35%
      LINE56%
      METHOD52%
      CLASS85%
      Task Scanner: 22 open tasks in 139 workspace files.