diff --git a/src/test/scala/special/sigma/SigmaDslTest.scala b/src/test/scala/special/sigma/SigmaDslTest.scala
index cf71ae7747..39e451d086 100644
--- a/src/test/scala/special/sigma/SigmaDslTest.scala
+++ b/src/test/scala/special/sigma/SigmaDslTest.scala
@@ -149,7 +149,8 @@ class SigmaDslTest extends PropSpec with PropertyChecks with Matchers with Sigma
     forAll { x: scala.BigInt => negBigInteger(x.bigInteger) }
   }
 
-  property("BinXor(logical XOR) equivalence") {
+  ignore("BinXor(logical XOR) equivalence") {
+    // TODO implement
     val eq = checkEq(func[(Boolean, Boolean), Boolean]("{ (x: (Boolean, Boolean)) => x._1 ^ x._2 }")) {
       x => x._1 ^ x._2
     }