Passed

org.overture.vdm2jml.tests.JmlOutputTests.run[18: src/test/resources/dynamic_analysis/invariant_for/Simple/Simple.vdmsl]

Standard Output

Starting the VDM to JML generator...
Generated class : Entry

Generated following quotes (3):
A append start 

 Generated 1 classes out of 1 requested
	Missing : []
	Errors  : 0
	Warnings: 0
Starting the VDM to JML generator...
Generated class : Entry

Generated following quotes (2):
append start 

 Generated 1 classes out of 1 requested
	Missing : []
	Errors  : 0
	Warnings: 0
Starting the VDM to JML generator...
Generated class : Entry

Generated following quotes (2):
append start 

 Generated 
...[truncated 16346 bytes]...
 class : Entry
Generated class : R1
Generated class : R2
Generated class : R3
Generated class : R4

Generated following quotes (2):
append start 

 Generated 5 classes out of 5 requested
	Missing : []
	Errors  : 0
	Warnings: 0
Starting the VDM to JML generator...
Generated class : Entry
Generated class : R1
Generated class : R2
Generated class : R3
Generated class : R4

Generated following quotes (2):
append start 

 Generated 5 classes out of 5 requested
	Missing : []
	Errors  : 0
	Warnings: 0