Build #1 (Mar 3, 2017 3:27:06 PM)

	Build Artifacts vdmclib-0.1.0.jar 101.13 KB  view vdm2c-0.1.0-jar-with-dependencies.jar 7.57 MB  view vdm2c-0.1.0.jar 359.41 KB  view org.overturetool.vdm2c.ide.cgen-0.1.0.jar 4.57 MB  view org.overturetool.vdm2c.ide.features.cgen-0.1.0.jar 4.99 KB  view
	Branch indexing
	Revision: 9ce2e1b662fbad3c9ddc27047d9e9448e29c6b42 master
	Test Result (no failures)
	Jacoco - Overall Coverage Summary INSTRUCTION 58% BRANCH 39% COMPLEXITY 35% LINE 56% METHOD 52% CLASS 85%
	Task Scanner: 22 open tasks in 139 workspace files. 22 new open tasks
	Jacoco - Overall Coverage Summary INSTRUCTION 58% BRANCH 39% COMPLEXITY 35% LINE 56% METHOD 52% CLASS 85%
	Task Scanner: 22 open tasks in 139 workspace files. 22 new open tasks