]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java
CHR query translation and support for assignment in CHR bodies
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / ModuleRegressionTests.java
index d8f703afc344d209cd18f4a7373a8a9b3caef69f..aa3b764e860bef4fd05814c6e162553e111eda03 100644 (file)
@@ -33,6 +33,11 @@ public class ModuleRegressionTests extends TestBase {
     @Test public void CHR9() { test(); }
     @Test public void CHR10() { 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 ClosureRecursion() { test(); }
     @Test public void Collaz() { test(); }
     @Test public void Compose() { test(); }