Build #185 (Nov 29, 2017 10:53:05 AM)

	Changes Handle vdm2c build jobs in Jenkinsfile (details / githubweb)
	Started by GitHub push by peterwvj
	Revision: 2f2a9642b0c0d18033005a780373b9405ff1f9a9 refs/remotes/origin/pvj/development
	Aborted by user Peter W. V. Tran-Jørgensen

Module Builds

C native root vdm2c	0 ms
Core Tools for vdm2c	1 ms
Overture FMI IDE Top-level	1 ms
Overture VDM 2 C Translator Root	8 ms
The C Code Generator VDM library sources	0 ms
The C Code Generator VDM distribution library sources	1 ms
The C Code Generator	0 ms
The C Code Generator Plugin	1 ms
Overture IDE Eclipse VDM2C features	0 ms
Overture IDE Eclipse repository	1 ms
Overture IDE Eclipse C Code Generator feature	13 ms