Started 4 yr 7 mo ago
Took 14 min

Success Build #44 (Oct 4, 2017 4:02:07 PM)

Build Artifacts
Expand all Collapse all
Changes
  1. Fixes bug with setting correct buffer size in collections. (details / githubweb)
  2. -  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108. (details / githubweb)
  3. -  Runtime library support for is checks on product, class and record (details / githubweb)
  4. -  Cleanup, removed unused VDM-RT runtime library test models. -  Closes (details / githubweb)

Push event to branch vpb/development at 16:02:01 on 04-Oct-2017

Revision: af88a94321796bd83e534a1aad1e0467c223b999
  • vpb/development
Task Scanner: 23 open tasks in 97 workspace files.
    Task Scanner: 21 open tasks in 86 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION63%
      BRANCH43%
      COMPLEXITY38%
      LINE60%
      METHOD56%
      CLASS86%
      Task Scanner: 23 open tasks in 148 workspace files.
        Task Scanner: 23 open tasks in 97 workspace files.