Crash when no verification files are provided

[fengwz17]

Following the installation instructions to compile on the newest commit (Commit 88e4de5).

sbt universal:stage

The binary file stainless-dotty generates successfully in the directory frontends/dotty/target/universal/stage/bin/, but if we want to run it with no files provided to test if it runs well:

./stainless-dotty

it crashes.

inox.package$FatalError: Error parsing arguments from List(-Yretain-trees, -color:never, -language:implicitConversions, -Wsafe-init, -cp:/stainless/frontends/dotty/target/universal/stage/lib/ch.epfl.lara.stainless-library-88e4de560a90940e3d1cd81ba3ed826ca9cd543a.jar:/stainless/frontends/dotty/target/universal/stage/lib/org.scala-lang.scala-library-2.13.15.jar:/stainless/frontends/dotty/target/universal/stage/lib/org.scala-lang.scala3-library_3-3.5.2.jar)
	at inox.package$FatalError$.apply(package.scala:24)
	at inox.Reporter.onFatal(Reporter.scala:47)
	at inox.Reporter.internalError(Reporter.scala:63)
	at inox.Reporter.internalError(Reporter.scala:115)
	at stainless.frontends.dotc.DottyDriver.files$lzyINIT1$$anonfun$2(DottyCompiler.scala:82)
	at scala.Option.getOrElse(Option.scala:201)
	at stainless.frontends.dotc.DottyDriver.files$lzyINIT1(DottyCompiler.scala:82)
	at stainless.frontends.dotc.DottyDriver.files(DottyCompiler.scala:80)
	at stainless.frontends.dotc.DottyCompiler$Factory$$anon$1.<init>(DottyCompiler.scala:190)
	at stainless.frontends.dotc.DottyCompiler$Factory.apply(DottyCompiler.scala:207)
	at stainless.frontend.package$.build(package.scala:43)
	at stainless.MainHelpers.newCompiler$1(MainHelpers.scala:209)
	at stainless.MainHelpers.main(MainHelpers.scala:210)
	at stainless.MainHelpers.main$(MainHelpers.scala:16)
	at stainless.Main$.main(Main.scala:3)
	at stainless.Main.main(Main.scala)

The script runs well when providing a file to "fill" the argument.

./stainless-dotty filename.scala

The latest version of the release Stainless 0.9.9.0 (2024-12-09) runs well even if no files provided, so I want to know if it is a bug or just a "feature" (to avoid empty arguments )?

It is probably caused by the commit (Commit b1b106f) since the error information is showed in the code frontends/dotty/src/main/scala/stainless/frontends/dotc/DottyCompiler.scala, line 183:

val flags = Seq("-Yretain-trees", "-color:never", "-language:implicitConversions", "-Wsafe-init", s"-cp:$cps") // -Ysafe-init is deprecated (SAM 21.08.2024)