Started 1 yr 12 mo ago
Took 19 min

Success Build #120 (Nov 4, 2018 5:22:20 PM)

Build Artifacts
Changes
  1. Java CG: mark some of the VDMUtil functions as unsupported (details / githubweb)

Push event to branch pvj/main at 17:22:14 on 04-Nov-2018

Revision: 1c0aefaacdfbd99c89f3229448f74a8227e11738
  • pvj/main
Task Scanner: 419 open tasks in 1,692 workspace files.
    Task Scanner: 220 open tasks in 997 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE55%
      METHOD55%
      CLASS79%
      Task Scanner: 466 open tasks in 3,412 workspace files.
      Task Scanner: 220 open tasks in 997 workspace files.
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE55%
      METHOD55%
      CLASS79%
      Task Scanner: 467 open tasks in 3,487 workspace files.
      Task Scanner: 419 open tasks in 1,692 workspace files.