Correct sorting for resource listing

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
     }
   }
 }