search

viperproject / viperserver

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

Write Cache to file #44

Closed jogasser closed 2 years ago

jogasser commented 2 years ago
ArquintL commented 2 years ago

Silicon PR #583 will fix the member lookup of errors in VerificationWorker but setting the scope field

ArquintL commented 2 years ago

The CI should be working again. Please pull from master

jogasser commented 2 years ago

I don't have write access to merge this pull request