Started 3 mo 15 days ago
Took 10 min

Failed Build #144 (Aug 13, 2020 9:50:44 PM)

Build Artifacts
Changes
  1. Adds a Debug VDM perspective (details / githubweb)
  2. Indents xml (details / githubweb)
  3. Bump version number (details / githubweb)
  4. Prints prompt only when the interpreter sends the evaluation result (details / githubweb)
  5. Waits for result of coverage and prints message Fixes #716 (details / githubweb)

Push event to branch ncb/development at 21:50:37 on 13-Aug-2020

Revision: 134c0be847a9f1b9aa2def2b336692d95fe36361
  • ncb/development
Jacoco - Overall Coverage Summary
INSTRUCTION42%
BRANCH31%
COMPLEXITY32%
LINE43%
METHOD44%
CLASS83%
Test Result (4 failures / ±0)Show all failed tests >>>
Jacoco - Overall Coverage Summary
INSTRUCTION54%
BRANCH43%
COMPLEXITY43%
LINE53%
METHOD53%
CLASS78%
Jacoco - Overall Coverage Summary
INSTRUCTION42%
BRANCH31%
COMPLEXITY32%
LINE43%
METHOD44%
CLASS83%
Task Scanner: 218 open tasks in 1,025 workspace files.
Jacoco - Overall Coverage Summary
INSTRUCTION42%
BRANCH31%
COMPLEXITY32%
LINE43%
METHOD44%
CLASS83%
Task Scanner: 97 open tasks in 262 workspace files.