Passed

org.overture.vdm2jml.tests.JmlOutputTests.run[8: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldUpdate/RecWithRecFieldUpdate.vdmsl]

Took 0.16 sec.

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