You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Originally discovered by @agilot
If a Scala file is rejected by the FragmentChecker, Stainless will ignore that file but continue with the rest (instead of shutting down).
The text was updated successfully, but these errors were encountered:
mario-bucev
added a commit
to mario-bucev/stainless
that referenced
this issue
Dec 7, 2022
Originally discovered by @agilot
If a Scala file is rejected by the
FragmentChecker
, Stainless will ignore that file but continue with the rest (instead of shutting down).The text was updated successfully, but these errors were encountered: