Jankoekenpan

Currently, the response bodies for the endpoints `GET /user/login` and `GET /user/logout` always answer with a plain string, hence the media type should be made independent of the incoming request....

This PR fixes two incomplete specifications: The current implementation of the pet store server responds with status code 200 when an Order or Pet is deleted by their IDs.

Using the [Pet Store](https://github.com/swagger-api/swagger-petstore) example of OpenAPI, the 'Get API Schema' request does not pass the test. The test script for this request expects that the responded `jsonData` contains a...

Does not work on z3 logs generated using Silicon

2

I have a 2gb z3.log file generated using `.\silicon --numberOfParallelVerifiers 1 --z3Args """""trace=true proof=true""""" --z3Exe ..\..\STMCors\deps\z3\4.8.6\z3.exe .\temp.sil` The file temp.sil passes verification: ```Silicon 1.1-SNAPSHOT (4ca96a49) Silicon finished verification successfully in...

This used to be printed in Vercors 1.4.0, and I was using this metric a lot in order to optimise my triggers.