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

0 failures

3,550 tests

All Tests

Class	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
ExternalClassesPpTypeCheckTest	16 sec	0		0		970	+970	970	+970
ExternalClassesRtTypeCheckTest	7.9 sec	0		0		148	+148	148	+148
ExternalModulesSlTypeCheckTest	30 sec	0		0		2432	+2432	2432	+2432