Started 4 yr 1 mo ago
Took 14 min

Success Build #3 (Dec 19, 2017 6:21:07 PM)

Build Artifacts
Expand all Collapse all
Changes
  1. Fix for problem with vdmSetGrow when under GC control. (details / githubweb)

Push event to branch pvj/issue-125 at 18:21:01 on 19-Dec-2017

Revision: bb53d1a26a3eb1f65e5807edf0cb641dd1147699
  • pvj/issue-125
Task Scanner: 29 open tasks in 119 workspace files.
    Task Scanner: 27 open tasks in 108 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION66%
      BRANCH45%
      COMPLEXITY40%
      LINE64%
      METHOD58%
      CLASS88%
      Task Scanner: 29 open tasks in 179 workspace files.
        Task Scanner: 29 open tasks in 119 workspace files.