X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FSelect3.scl;fp=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FSelect3.scl;h=0000000000000000000000000000000000000000;hb=f5b8a3d0b68ab33a78235c5dfa84fc1d45f6271e;hp=a3e4f44e860f72eaf51baa09423ac2171899d93a;hpb=1c897891cc1509bb6b5be8dc1202de0dce3d3172;p=simantics%2Fplatform.git diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Select3.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Select3.scl deleted file mode 100644 index a3e4f44e8..000000000 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Select3.scl +++ /dev/null @@ -1,18 +0,0 @@ -import "StandardLibrary" -import "Minigraph" - -main = withGraph do - a = resource "a" - b = map resource ["b0", "b1", "b2", "b3", "b4"] - r = map resource ["r0", "r1"] - - enforce - Statement a (r!0) (b!0) - Statement a (r!0) (b!1) - Statement a (r!1) (b!4) - Statement (b!1) (r!1) (b!3) - Statement (b!1) (r!0) (b!2) - sort $ map uriOf $ select ?x where - Statement a (r!0) (_ : Resource { #r1 = ?x }) --- -[b3]