@Test public void CHR2() { test(); }
@Test public void CHR3() { test(); }
@Test public void CHR4() { test(); }
+ @Test public void CHR5() { test(); }
+ @Test public void CHR6() { test(); }
+ @Test public void CHR7() { test(); }
+ @Test public void CHR8() { test(); }
+ @Test public void CHR9() { test(); }
+ @Test public void CHR10() { test(); }
@Test public void ClosureRecursion() { test(); }
@Test public void Collaz() { test(); }
@Test public void Compose() { test(); }
@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(); }