This is the main repository for the Viper IDE extension for VS Code.
Mozilla Public License 2.0
10
stars
11
forks
source link
IDE reports "Verification failed with 0 errors..." when there are only warnings #461
Open
alexanderjsummers opened 2 months ago
If there are 0 errors, we should get a verification success message at the bottom (ideally still listing the warnings)