Started 5 yr 2 mo ago
Took 26 min

Success Build #1 (Mar 3, 2017 3:27:06 PM)

Build Artifacts
vdmclib-0.1.0.jar101.13 KB view
vdm2c-0.1.0-jar-with-dependencies.jar7.57 MB view
vdm2c-0.1.0.jar359.41 KB view
org.overturetool.vdm2c.ide.cgen-0.1.0.jar4.57 MB view
org.overturetool.vdm2c.ide.features.cgen-0.1.0.jar4.99 KB view

Branch indexing

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