Started 5 mo 12 days ago
Took 19 min

Success Build #2 (Aug 11, 2021 10:47:12 AM)

Build Artifacts
Changes
  1. Changes the template to generate VDMRecord (details / githubweb)

Push event to branch tm/SolveRecordProblem at 10:47:06 on 11-Aug-2021

Revision: 8e73876ae1e259b041db9a11afc7f8b93c385fa6
  • tm/SolveRecordProblem
Jacoco - Overall Coverage Summary
INSTRUCTION37%
BRANCH28%
COMPLEXITY29%
LINE38%
METHOD40%
CLASS57%
Test Result (no failures)
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH45%
    COMPLEXITY44%
    LINE54%
    METHOD54%
    CLASS78%
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH28%
    COMPLEXITY29%
    LINE38%
    METHOD40%
    CLASS57%
    Task Scanner: 217 open tasks in 1,026 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION56%
    BRANCH45%
    COMPLEXITY44%
    LINE54%
    METHOD54%
    CLASS78%
    Task Scanner: 465 open tasks in 3,513 workspace files.
    Jacoco - Overall Coverage Summary
    INSTRUCTION37%
    BRANCH28%
    COMPLEXITY29%
    LINE38%
    METHOD40%
    CLASS57%
    Task Scanner: 417 open tasks in 1,722 workspace files.