Test Result

0 failures (±0) , 110 skipped (±0)

278 tests (±0)

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
org.overture.vdm2jml.tests	7.8 sec	0		10		168		178
org.overture.vdm2jml.tests.exec	0 ms	0		100		0		100