Passed

de.uni_freiburg.informatik.ultimate.smtinterpol.convert.TermCompilerTest.testOr

Took 0 ms.