viperproject / viperserver

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

mapVerificationResult is now applied automatically in Silver #10

Closed viper-admin closed 4 years ago

viper-admin commented 4 years ago

Pull request :twisted_rightwards_arrows: created by @aterga on 2019-05-26 13:21 Last updated on 2020-02-03 15:46 Original Bitbucket pull request id: 10

Participants:

  • @mschwerhoff (reviewer)

Source: https://github.com/viperproject/viperserver/commit/bd4559f52f7a1a46707003fcbaabecc662a90a46 on branch arshavir/viperserver-plugin-aware-reporting/default Destination: https://github.com/viperproject/viperserver/commit/7cc7ce5224a723ab1fcdbe2e7ea0cbfbd727fcab on branch master

State: OPEN

For details, see Silver PL 120.