palantir/conjure-verification

Add endpoints to verification server that returns test cases and IR

Opened this issue · 1 comments

It would be nice to have an endpoint on the server that returns all of the test cases and IR. This would allow languages to skip having to resolve/check in the these files if they choose to interact directly with the server instead.

Both the test cases and the IR have Conjure definitions and are provided to the server on startup, so it seems like this should be fairly easy to do and would provide more flexibility to projects writing tests.

The Golang implementation has a definite practical use for an endpoint that serves the test cases.

The usefulness for an endpoint that serves the IR is admittedly more theoretical and may not actually be useful/have a practical application, so would be fine with not implementing that.