tree d9c1fa3e5606a09bae31da05bd0133c2084f1cf8
parent 795f04fa74cedcc2f4aeb49f693d66e4345b556f
author peusterm <manuel.peuster@uni-paderborn.de> 1458904455 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1458904455 +0100

Better RM test case. Imporved other tests.