Test Result : de.uni_freiburg.informatik.ultimate.smtinterpol.util

0 failures

2 tests

All Tests

Class	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
FunctionalMapTest	38 ms	0		0		2	+2	2	+2