Started 2 yr 8 mo ago
Took 37 min

Success Build #54 (Mar 16, 2018 2:15:35 PM)

Build Artifacts
Changes
  1. Add "-version" argument to the Overture command-line interface (details / githubweb)
  2. Improve look up of VDM-SL types #677 (details / githubweb)

Push event to branch test at 14:15:29 on 16-Mar-2018

Revision: a96940928ed5dea9dcddc49d844308e8cc5999e3
  • test
Task Scanner: 420 open tasks in 1,689 workspace files.
    Task Scanner: 221 open tasks in 994 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD55%
      CLASS79%
      Task Scanner: 467 open tasks in 3,407 workspace files.
      Task Scanner: 221 open tasks in 994 workspace files.
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD55%
      CLASS79%
      Task Scanner: 468 open tasks in 3,482 workspace files.
      Task Scanner: 420 open tasks in 1,689 workspace files.