Test Result

0 failures , 2 skipped

193 tests

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
org.overture.codegen.vdm2c	8 min 25 sec	0		2	+2	191	+191	193	+193