diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index 974615e6484304de738ebdd43ecafbb323e589c2..d308e840f159a8ab7de49380d920dfc12ee8d2ad 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -59,10 +59,10 @@ class PureScalaValidSuite3 extends PureScalaValidSuite {
   val optionVariants = List(opts(2))
 }
 class PureScalaValidSuiteZ3 extends PureScalaValidSuite {
-  val optionVariants = Nil//if (isZ3Available) List(opts(3)) else Nil
+  val optionVariants = if (isZ3Available) List(opts(3)) else Nil
 }
 class PureScalaValidSuiteCVC4 extends PureScalaValidSuite {
-  val optionVariants = Nil//if (isCVC4Available) List(opts(4)) else Nil
+  val optionVariants = if (isCVC4Available) List(opts(4)) else Nil
 }
 
 class PureScalaInvalidSuite extends PureScalaVerificationSuite {