Test Result

0 failures (-5) , 3 skipped (±0)

193 tests (±0)

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
org.overture.codegen.vdm2c	12 min	0	-5	3		190	+5	193