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

0 failures
8 tests
Took 31 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
IntDivideTest23 ms001+11+1
TermCompilerTest3 ms006+66+6
TerminationRequestTest5 ms001+11+1