Added statistics report after plugin transformation

viperproject / viperserver

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

Other

10 stars 17 forks source link

Closed rayman2000 closed 7 months ago

rayman2000 commented 7 months ago

This will reset the progress coordinator with the correct number of members after the transformations. Fixes #218, fixes viperproject/viper-ide#437