Started 2 yr 8 mo ago
Took 3 min 12 sec on master

Aborted Build #462 (Nov 29, 2017 11:38:39 AM)

Changes
  1. -  Unused variable cleanup. -  Addresses #123. (commit: 8c2dd57) (details / githubweb)

Started by GitHub push by bandurvp

Revision: 8c2dd57b9d3caaeab4cc7794876d68b5b0e617f3
  • refs/remotes/origin/development
Task Scanner: 0 open tasks in 1 workspace file.

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

Module Builds

 The C Code Generator (didn’t run)
Success C native root vdm2c2.8 sec
Success Core Tools for vdm2c2 sec
Not built Overture FMI IDE Top-level0 ms
Success Overture VDM 2 C Translator Root8.6 sec
Success The C Code Generator VDM library sources22 sec
Success The C Code Generator VDM distribution library sources4.7 sec
Aborted The C Code Generator1 ms
Not built The C Code Generator Plugin1 ms
Not built Overture IDE Eclipse VDM2C features0 ms
Not built Overture IDE Eclipse repository0 ms
Not built Overture IDE Eclipse C Code Generator feature0 ms