Test Result

0 failures (±0)

1,906 tests (±0)

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
org.overture.typechecker.tests	4.6 sec	0		0		131		131
org.overture.typechecker.tests.external	10 sec	0		0		1775		1775