search

viperproject / viperserver

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

Making sure plugins get a proper config object #186

Closed marcoeilers closed 10 months ago

marcoeilers commented 10 months ago

… and forwarding whitelisted options to ASTProvider. This is an attempt to fix #165 and #184.