Started 3 yr 5 mo ago
Took 22 min

Success Build #1 (Mar 2, 2017 4:37:33 PM)

Build Artifacts
vdmclib-0.0.21-SNAPSHOT.jar101.12 KB view
vdm2c-0.0.21-SNAPSHOT-jar-with-dependencies.jar7.57 MB view
vdm2c-0.0.21-SNAPSHOT.jar359.40 KB view
org.overturetool.vdm2c.ide.cgen-0.0.21-SNAPSHOT.jar4.57 MB view
org.overturetool.vdm2c.ide.features.cgen-0.0.21-SNAPSHOT.jar5.00 KB view

Branch indexing

Revision: a72968179a9495052c3baed85893b43b56bae725
  • pvj/version-numbers
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.