-
Notifications
You must be signed in to change notification settings - Fork 20
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Squigly lines don't disappear for Veryfication Caching Policy = basic or advanced #187
Comments
Thank you very much for spotting it ! It is not intended behavior. It's a bug. I just fixed it. |
keyboardDrummer
pushed a commit
to dafny-lang/dafny
that referenced
this issue
Jul 1, 2022
Fixes dafny-lang/ide-vscode#187 The issue was that caching would prevent reports of implementations being finished to verify for the gutter reporting mechanism. I added it, and a test that I verified would not work in the absence of the fix. Changes * It also report all the results that were cached as if they were resolved immediately.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
If:
Then the green squigly lines (meaning that the verification for those lines is running again and hasn't finished) is not disapearing. This is a bit confusing.
Example (First few lines are both squiggly and opaque light green because they were both cached (so the squigly lines failed to disapear) and verified, last few lines are opaque light green because they were verified just now, and so the squigly lines disapeared)
Is this intended behavior, if so, what is the meaning of the light green squigly lines?
The text was updated successfully, but these errors were encountered: