Test Result : org.overture.typechecker.tests.external

0 failures (±0)

1,775 tests (±0)

All Tests

Class	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
ExternalClassesPpTypeCheckTest	3 sec	0		0		485		485
ExternalClassesRtTypeCheckTest	2.1 sec	0		0		74		74
ExternalModulesSlTypeCheckTest	5.7 sec	0		0		1216		1216