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%2FFormula.scl;h=d19263a53f60fd1212eba7e7fb730037eb6f806a;hb=1ec0193a5a5b8f368b03adb24acd762838ddf8ea;hp=10eafb0611a67377fcd775ad36e269a15a36cd64;hpb=e67e00d01d30f362e7a4f599cbcf24770ce13e22;p=simantics%2Fplatform.git

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Formula.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Formula.scl
index 10eafb061..d19263a53 100644
--- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Formula.scl
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Formula.scl
@@ -128,4 +128,8 @@ main = do
     x := True
     print (evalV f)
 --
+("x" `UntilF` "y")
+false
+false
+("x" `UntilF` "y")
 ()
\ No newline at end of file