print in tests

epfl-lara · Dec 11, 2024 · 17b8473 · 17b8473
1 parent 12abf38
commit 17b8473
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/frontends/common/src/test/scala/stainless/InputUtils.scala b/frontends/common/src/test/scala/stainless/InputUtils.scala
@@ -46,6 +46,8 @@ trait InputUtils {
       val t: xt.type = xt
     }
 
+    ctx.reporter.error(files.mkString("\n"))
+
     // Use the callback to collect the trees.
     val units = ListBuffer[xt.UnitDef]()
     val cls = ListBuffer[xt.ClassDef]()