When ViperServer retrieves and reports cached verification failures, it should also report the counterexamples that were produced for the cached verification attempts. Currently, this is not the case.
To reproduce, start ViperServer as usual, copy the port number, and send the following verification requests using viper_client — twice:
When ViperServer retrieves and reports cached verification failures, it should also report the counterexamples that were produced for the cached verification attempts. Currently, this is not the case.
To reproduce, start ViperServer as usual, copy the port number, and send the following verification requests using viper_client — twice:
After the first run, you'll see a response that starts like this:
After the second run, the entire verification result will be just this: