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

0 failures

1,775 tests

All Tests

Class	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
ExternalClassesPpTypeCheckTest	4 sec	0		0		485	+485	485	+485
ExternalClassesRtTypeCheckTest	4.9 sec	0		0		74	+74	74	+74
ExternalModulesSlTypeCheckTest	4 sec	0		0		1216	+1216	1216	+1216