Only one error in the project is shown at a time #3
Description
Why
Currently, if one error is found by the verifier, the extension will only just show that error, even if there are other errors in the code.
When testing if something is doing what it is supposed to, developers might want to keep some errors and continue writing code. Therefore, it could be helpful to show more than one error at a time.
Or, as a short time fix indicate that the current error will not allow for any other errors to show before that one is tackled.
Steps
This is a complex issue, it would need changes in the verifier and its integration into the extension.
Therefore, this issue is to document that this is happening but the changes might be too deep to tackle for now.