Started 5 yr 2 mo ago
Took 19 min

Success Build #2 (Mar 10, 2017 11:12:58 AM)

Build Artifacts
vdmclib-0.1.2.jar101.19 KB view
vdm2c-0.1.2-jar-with-dependencies.jar7.57 MB view
vdm2c-0.1.2.jar359.33 KB view
org.overturetool.vdm2c.ide.cgen-0.1.2.jar4.57 MB view
org.overturetool.vdm2c.ide.features.cgen-0.1.2.jar4.99 KB view
Changes
  1. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  2. Fix for "comparision to string literal" warning on ATMega128. (details / githubweb)
  3. Making global variable for resources location available also when the (details / githubweb)
  4. Add VDM2C 0.1.2 release notes (details / githubweb)
  5. Prepare release of VDM2C 0.1.2 (details / githubweb)
  6. [maven-release-plugin] prepare release Release/0.1.2 (details / githubweb)

Branch indexing

Revision: b9e731581deafa3af1be91c35d6227026c22d9b2
  • 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.