[Jenkins]Jenkins
Started 5 yr 6 mo ago
Took 15 min on master

Success Build #172 (Nov 27, 2017 7:35:35 PM)

Changes
  1. -  Removed ref_from element of TVP and associated GC machinery. - (commit: b718699) (details / githubweb)
Artifactory Build Info

Started by GitHub push by bandurvp

Revision: b718699b79a3a935632d934b4e695c01326162f9
  • refs/remotes/origin/vpb/development
Task Scanner: 29 open tasks in 145 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION79%
      BRANCH69%
      COMPLEXITY65%
      LINE77%
      METHOD78%
      CLASS86%

      Module Builds

      Success C native root vdm2c3.6 sec
      Success Core Tools for vdm2c4 sec
      Success Overture FMI IDE Top-level4.5 sec
      Success Overture VDM 2 C Translator Root7.6 sec
      Success The C Code Generator VDM library sources17 sec
      Success The C Code Generator VDM distribution library sources4.2 sec
      Success The C Code Generator12 min
      Success The C Code Generator Plugin13 sec
      Success Overture IDE Eclipse VDM2C features1.2 sec
      Success Overture IDE Eclipse repository15 sec
      Success Overture IDE Eclipse C Code Generator feature5.8 sec