@Test public void CHR11() { test(); }
@Test public void CHR12() { test(); }
@Test public void CHR13() { test(); }
@Test public void CHR11() { test(); }
@Test public void CHR12() { test(); }
@Test public void CHR13() { test(); }
@Test public void CHRSelect1() { test(); }
@Test public void CHRSelect2() { test(); }
@Test public void CHRSelect3() { test(); }
@Test public void CHRSelect1() { test(); }
@Test public void CHRSelect2() { test(); }
@Test public void CHRSelect3() { test(); }
@Test public void JavaMethods() { test(); }
@Test public void JavaTypes() { test(); }
@Test public void Kinds1() { test(); }
@Test public void JavaMethods() { test(); }
@Test public void JavaTypes() { test(); }
@Test public void Kinds1() { test(); }
@Test public void Lambda() { test(); }
@Test public void LambdaMatch() { test(); }
@Test public void Layout1() { test(); }
@Test public void Lambda() { test(); }
@Test public void LambdaMatch() { test(); }
@Test public void Layout1() { test(); }