Fixed handling of warnings

viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.

Other

10 stars 17 forks source link

Closed marcoeilers closed 1 year ago

marcoeilers commented 1 year ago

Fixed handling of warnings:

The LSP protocol did not handle them at all, leading to Viper IDE issue #403
The HTTP protocol did not yet handle the new kind of warning, WarningsDuringVerification.

ArquintL commented 1 year ago

Thanks a lot for fixing this!