search

viperproject / viper-ide

This is the main repository for the Viper IDE extension for VS Code.
Mozilla Public License 2.0
10 stars 11 forks source link

Test Viper Warnings #409

Closed ArquintL closed 9 months ago

ArquintL commented 1 year ago

This PR adds a test case checking that parser and type-checker warnings are correctly reported as diagnostics. Requires Silver PR #722 and ViperServer PR #156.