Started 2 yr 2 mo ago
Took 11 min on master

Success Build #171 (Nov 27, 2017 7:17:37 PM)

Changes
  1. -  WIP removing traces of source variable from garbage collector. - (commit: 834fe71) (details / githubweb)
Artifactory Build Info

Started by GitHub push by bandurvp

Revision: 834fe71e4efa863eb8903cfc4907c77dad1cbfff
  • 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 vdm2c2.7 sec
      Success Core Tools for vdm2c2.1 sec
      Success Overture FMI IDE Top-level3.7 sec
      Success Overture VDM 2 C Translator Root5.6 sec
      Success The C Code Generator VDM library sources15 sec
      Success The C Code Generator VDM distribution library sources3.9 sec
      Success The C Code Generator9 min 42 sec
      Success The C Code Generator Plugin8.6 sec
      Success Overture IDE Eclipse VDM2C features1.1 sec
      Success Overture IDE Eclipse repository10 sec
      Success Overture IDE Eclipse C Code Generator feature4.5 sec