Started 1 mo 28 days ago
Took 10 min

Failed Build #141 (Jun 7, 2020 6:06:59 PM)

Build Artifacts
Changes
  1. Don't define a RESULT symbol for void explicit operation postconditions, (details / githubweb)

Push event to branch ncb/development at 18:06:52 on 07-Jun-2020

Revision: 348dfe8452b28a1df7ecdcb650a97ca9855e1ed0
  • 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.