diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index 22aa18098c7a400b1e94fa12a4bfd75d5d40e1c9..524a516ffd90842261d2d5d99851c52942ea344c 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -38,9 +38,9 @@ class PureScalaValidSuite1 extends PureScalaValidSuite {
 class PureScalaValidSuite2 extends PureScalaValidSuite {
   val optionVariants = List(opts(1))
 }
-class PureScalaValidSuite3 extends PureScalaValidSuite {
+class PureScalaValidSuite3 extends PureScalaValidSuite { // tests verification with --codegen parameter
   val optionVariants = List(opts(2))
-  override val ignored = Seq("valid/Predicate.scala")
+  override val ignored = Seq("valid/Predicate.scala","valid/TraceInductTacticTest.scala")
 }
 class PureScalaValidSuiteZ3 extends PureScalaValidSuite {
   val optionVariants = isZ3Available.option(opts(3)).toList