diff --git a/src/it/scala/inox/ResourceUtils.scala b/src/it/scala/inox/ResourceUtils.scala
index 3c8a910b68e6461d1c29c88db937442bb05b38c8..087f5f98abd0da26afa0dea63283f2bda60ff809 100644
--- a/src/it/scala/inox/ResourceUtils.scala
+++ b/src/it/scala/inox/ResourceUtils.scala
@@ -24,7 +24,7 @@ trait ResourceUtils {
         }
       }
 
-      rec(baseDir).filter(f => filter(f.getPath)).toSeq.sortBy(_.getPath)
+      rec(baseDir).filter(f => filter(f.getPath)).toSeq.sortBy(_.getPath).reverse
     }
   }
 }