@Test public void ClashingClass() { test(); }
@Test public void ClashingData() { test(); }
@Test public void ClashingInstance() { test(); }
+ @Test public void ClashingJavaImport() { test(); }
@Test public void ClashingValueType() { test(); }
@Test public void ClosingBrace() { test(); }
@Test public void CHR1() { test(); }
@Test public void DifferentBranchTypes() { test(); }
@Test public void Div() { test(); }
@Test public void DoubleConversion() { test(); }
- @Test public void DoubleEffect() { test(); }
+ @Test public void DoubleEffect() { test(); }
+ @Test public void Dynamic1() { test(); }
@Test public void Effects1() { test(); }
@Test public void Effects2() { test(); }
@Test public void Effects3() { test(); }