Test Result

0 failures (±0) , 4 skipped (±0)

302 tests (+4)

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
org.overture.codegen.vdm2c	15 min	0		4		298	+4	302	+4