Started 4 yr 3 mo ago
Took 18 min

Success Build #155 (Feb 14, 2018 10:57:33 AM)

Build Artifacts
Expand all Collapse all
Changes
  1. Fix assignments to static fields #122 (details / githubweb)
  2. Emit newSeqVarToGrowGC (details / githubweb)
  3. -  Fixed problem with vdmSeqGrow and values passed under GC control. - (details / githubweb)
  4. Fix for problem with vdmSetGrow when under GC control. (details / githubweb)
  5. Fixed memory leak in vdmSeqInds. (details / githubweb)
  6. Fixed memory leak in records. (details / githubweb)
  7. Fixed memory leak with records. (details / githubweb)
  8. -  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126. (details / githubweb)
  9. Add generator support for `vdmSetEnumerateSetOfIntsGC` (details / githubweb)
  10. -  Committing omitted header file. -  Addresses #126. (details / githubweb)
  11. Uninitialized variable warnings in maps, runtime. (details / githubweb)

Push event to branch development at 10:57:27 on 14-Feb-2018

Revision: bda3b924ece036b4b6dd981b810ae93cff5186a9
  • development
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.
          Artifactory Build Info