+ @Test public void SSATypingBug() { test(); }
+ @Test public void Scanl() { test(); }
+ @Test public void Search() { test(); }
+ @Test public void Sections() { test(); }
+ @Test public void Select1() { test(); }
+ @Test public void Select2() { test(); }
+ @Test public void Select3() { test(); }
+ @Test public void Select4() { test(); }
+ @Test public void Select5() { test(); }
+ @Test public void Select6() { test(); }
+ @Test public void Select7() { test(); }
+ @Test public void Select8() { test(); }
+ @Test public void Select9() { test(); }