Started 1 mo 22 days ago
Took 5 min 38 sec

Aborted Build #142 (Jun 23, 2020 4:53:18 PM)

Build Artifacts
Changes
  1. Fix maps with invariant typed domains, fixes #731 (details / githubweb)
  2. Add a hashCode to InvariantValue to return a constant for (details / githubweb)
  3. Provide more accurate error location for predicates, fixes #732 (details / githubweb)

Push event to branch ncb/development at 16:53:11 on 23-Jun-2020

Revision: 8ca5489a8a03330fd9c623f15d350eab6605518a
  • ncb/development
Jacoco - Overall Coverage Summary
INSTRUCTION0%
BRANCH0%
COMPLEXITY0%
LINE0%
METHOD0%
CLASS0%
Task Scanner: 218 open tasks in 1,025 workspace files.