Started 2 yr 4 mo ago
Took 11 min on master

Success Build #461 (Nov 29, 2017 10:21:36 AM)

No changes.
Artifactory Build Info

Started by user Peter W. V. Tran-Jørgensen

Revision: b718699b79a3a935632d934b4e695c01326162f9
  • refs/remotes/origin/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

       The C Code Generator (didn’t run)
      Success C native root vdm2c3 sec
      Success Core Tools for vdm2c2 sec
      Success Overture FMI IDE Top-level1.9 sec
      Success Overture VDM 2 C Translator Root5.6 sec
      Success The C Code Generator VDM library sources12 sec
      Success The C Code Generator VDM distribution library sources4.4 sec
      Success The C Code Generator8 min 43 sec
      Success The C Code Generator Plugin7.4 sec
      Success Overture IDE Eclipse VDM2C features1.1 sec
      Success Overture IDE Eclipse repository13 sec
      Success Overture IDE Eclipse C Code Generator feature4.2 sec