X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FCHR1.scl;h=c1e3402afd56c512b040f7eb7967fda016b36b93;hp=d305a2a83ba262fc7c6ce684bfa4d7143363b51b;hb=00119bc6c509134e985c11ad4f6aff37801adc3f;hpb=fad36d463b75c3a9944d875fc627c3533f6da74d 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 d305a2a83..c1e3402af 100644 --- 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"