search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349 stars 50 forks source link

Crash when using --watch #1412

Closed andreagilot-da closed 1 year ago

andreagilot-da commented 1 year ago

When using the --watch option in Scala 3 and typing code that does not compile such as import stain, Stainless crashes and outputs:

[ Error  ] Stainless terminated with an error.
[ Error  ] Debug output is available in the file `stainless-stack-trace.txt`. If the crash is caused by Stainless, you may report your issue on https://github.com/epfl-lara/stainless/issues
[ Error  ] You may use --debug=stack to have the stack trace displayed in the output.