Create tests for lazy evaluation of OR, AND (#555)

* add tests for laziness of the OR and AND ops; * add costing spec tests for lazy OR, AND; * add nested AND, OR sigma dsl tests; * add more nested AND, OR sigma dsl tests;
ergoplatform · Jul 29, 2019 · 335101d · 335101d
1 parent eb8c267
commit 335101d
Show file tree

Hide file tree

Showing 3 changed files with 59 additions and 0 deletions.
diff --git a/src/test/scala/sigmastate/CostingSpecification.scala b/src/test/scala/sigmastate/CostingSpecification.scala
@@ -375,4 +375,10 @@ class CostingSpecification extends SigmaTestingData {
     cost shouldBe expectedCost
   }
 
+  property("laziness of AND, OR costs") {
+    cost("{ val cond = getVar[Boolean](2).get; !(!cond && (1 / 0 == 1)) }")(
+      ContextVarAccess + constCost * 2 + logicCost * 3 + multiply + comparisonCost)
+    cost("{ val cond = getVar[Boolean](2).get; (cond || (1 / 0 == 1)) }")(
+      ContextVarAccess + constCost * 2 + logicCost + multiply + comparisonCost)
+  }
 }
diff --git a/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala b/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala
@@ -621,4 +621,20 @@ class BasicOpsSpecification extends SigmaTestingCommons {
       true
     )
   }
+
+  property("lazy OR") {
+    test("lazy OR", env, ext,
+      "true || ((1/0) == 1)",
+      null,
+      true
+    )
+  }
+
+  property("lazy AND") {
+    test("lazy AND", env, ext,
+      "(false && ((1/0) == 1)) == false",
+      null,
+      true
+    )
+  }
 }
diff --git a/src/test/scala/special/sigma/SigmaDslTest.scala b/src/test/scala/special/sigma/SigmaDslTest.scala
@@ -993,4 +993,41 @@ class SigmaDslTest extends PropSpec
     forAll { x: (Boolean, Boolean) => eq(x) }
   }
 
+  property("lazy || and && boolean equivalence") {
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => x || (1 / 0 == 1) }"))
+       { (x: Boolean) => x || (1 / 0 == 1) }(true)
+
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => x && (1 / 0 == 1) }"))
+       { (x: Boolean) => x && (1 / 0 == 1) }(false)
+
+    // nested
+
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => x && (x || (1 / 0 == 1)) }"))
+       { (x: Boolean) => x && (x || (1 / 0 == 1)) }(true)
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => x && (x && (x || (1 / 0 == 1))) }"))
+       { (x: Boolean) => x && (x && (x || (1 / 0 == 1))) }(true)
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => x && (x && (x && (x || (1 / 0 == 1)))) }"))
+       { (x: Boolean) => x && (x && (x && (x || (1 / 0 == 1)))) }(true)
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => !(!x && (1 / 0 == 1)) && (x || (1 / 0 == 1)) }"))
+       { (x: Boolean) => !(!x && (1 / 0 == 1)) && (x || (1 / 0 == 1)) }(true)
+
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => (x || (1 / 0 == 1)) && x }"))
+       { (x: Boolean) => (x || (1 / 0 == 1)) && x }(true)
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => (x || (1 / 0 == 1)) && (x || (1 / 0 == 1)) }"))
+       { (x: Boolean) => (x || (1 / 0 == 1)) && (x || (1 / 0 == 1)) }(true)
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => (!(!x && (1 / 0 == 1)) || (1 / 0 == 0)) && (x || (1 / 0 == 1)) }"))
+       { (x: Boolean) => (!(!x && (1 / 0 == 1)) || (1 / 0 == 0)) && (x || (1 / 0 == 1)) }(true)
+    checkEq(func[Boolean, Boolean](
+      "{ (x: Boolean) => (!(!x && (1 / 0 == 1)) || (1 / 0 == 0)) && (!(!x && (1 / 0 == 1)) || (1 / 0 == 1)) }"))
+       { (x: Boolean) => (!(!x && (1 / 0 == 1)) || (1 / 0 == 0)) && (!(!x && (1 / 0 == 1)) || (1 / 0 == 1)) }(true)
+  }
 }