(refs #7250) CHR bugfixes, cleaning up unit tests

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / CHR1.scl

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR1.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR1.scl
index d305a2a83ba262fc7c6ce684bfa4d7143363b51b..c1e3402afd56c512b040f7eb7967fda016b36b93 100644 (file)
--- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR1.scl
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR1.scl
@@ -140,6 +140,11 @@ main = sort (MList.freeze answer)
     
     Edge ?x ?y => MList.add answer (?x, ?y)
 --
+Remove loop (5,5)
+Remove dangling edge (3,5)
+Remove node 5
+Simplify path (1,2,3)
+Simplify path (1,3,4)
 [(1,4), (1,4)]
 --
 import "StandardLibrary"