viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10 stars 17 forks source link

Unit Tests with Concurrent Verifications #30

Closed ArquintL closed 3 years ago

ArquintL commented 3 years ago

Reenables unit tests for concurrent verification jobs and fixes ViperServer to clear the cache whenever it starts.

This PR requires the changes from Silver PR #503 and Silicon PR #533