@Test public void Effects4() { test(); }
@Test public void Effects5() { test(); }
@Test public void Effects6() { test(); }
+ @Test public void EmptyDo() { test(); }
@Test public void EmptyLet() { test(); }
@Test(expected=ValueNotFound.class)
public void EmptyModule() throws ValueNotFound {
test(new String[]{"EmptyModule"}, new String[]{""});
}
+
@Test public void Equality() { test(); }
@Test public void ExistentialData() { test(); }
@Test public void ExistentialData2() { test(); }
@Test public void InvalidPattern2() { test(); }
@Test public void InvalidPattern3() { test(); }
@Test public void InvalidPattern4() { test(); }
+ @Test public void InvalidRunProc() { test(); }
@Test public void InvalidTypeClassInstance1() { test(); }
@Test public void JavaAccess1() { test(); }
@Test public void JavaConstructors() { test(); }