[Jenkins]Jenkins
Started 6 yr 0 mo ago
Took 11 min on master

Success Build #184 (Nov 28, 2017 2:19:14 PM)

Changes
  1. Distributed code-generator fix (details / githubweb)
Artifactory Build Info

Started by GitHub push by peterwvj

Revision: cbb0cb201ef5c52b4e11d921bc55e10f3ef20f6c
  • refs/remotes/origin/pvj/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 vdm2c6.7 sec
      Success Core Tools for vdm2c2.1 sec
      Success Overture FMI IDE Top-level3.9 sec
      Success Overture VDM 2 C Translator Root8.9 sec
      Success The C Code Generator VDM library sources13 sec
      Success The C Code Generator VDM distribution library sources3.9 sec
      Success The C Code Generator9 min 46 sec
      Success The C Code Generator Plugin8.2 sec
      Success Overture IDE Eclipse VDM2C features1.2 sec
      Success Overture IDE Eclipse repository10 sec
      Success Overture IDE Eclipse C Code Generator feature4.1 sec