diff --git a/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
index 78a70f9c3c2caa416d489b76d1ee0fea9a2dc896..4b03aa9b5d157e88289b336cffdcba02bf162e4b 100644
--- a/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
@@ -38,7 +38,17 @@ class XLangVerificationSuite extends LeonRegressionSuite {
       fullName
     }
 
-    test(f"${nextInt()}%3d: $displayName ${leonOptions.mkString(" ")}") {
+    val ignored = List(
+      "regression/verification/xlang/valid/Nested15.scala"
+    )
+
+    val t = if (ignored.exists(displayName endsWith _)) {
+      ignore _
+    } else {
+      test _
+    }
+
+    t(f"${nextInt()}%3d: $displayName ${leonOptions.mkString(" ")}", Nil) {
       assert(file.exists && file.isFile && file.canRead,
              s"Benchmark $displayName is not a readable file")