Started 2 mo 27 days ago
Took 20 min

Success Build #147 (Aug 28, 2020 4:09:54 PM)

Build Artifacts
Changes
  1. Calls coverage before terminating the interpreter (details / githubweb)
  2. Bump examples changes (details / githubweb)
  3. Merges external documentation submodule (details / githubweb)
  4. Fix condition (details / githubweb)
  5. Show VdmDebugConsole on top in the View (details / githubweb)
  6. Moves the console for the current process to the front (details / githubweb)
  7. Changes the interpreter startup (details / githubweb)
  8. Prevent looping type resolution, fixes #735 (details / githubweb)

Push event to branch ncb/development at 16:09:47 on 28-Aug-2020

Revision: b576a7521ea8becd6d3708a44df4b0604ac67f80
  • ncb/development
Jacoco - Overall Coverage Summary
INSTRUCTION37%
BRANCH28%
COMPLEXITY29%
LINE38%
METHOD40%
CLASS57%
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH45%
    COMPLEXITY44%
    LINE55%
    METHOD54%
    CLASS78%
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH28%
    COMPLEXITY29%
    LINE38%
    METHOD40%
    CLASS57%
    Task Scanner: 218 open tasks in 1,025 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH45%
    COMPLEXITY44%
    LINE55%
    METHOD54%
    CLASS78%
    Task Scanner: 465 open tasks in 3,512 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH28%
    COMPLEXITY29%
    LINE38%
    METHOD40%
    CLASS57%
    Task Scanner: 417 open tasks in 1,721 workspace files.