Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Generate cryptol-remote-api API payloads from python tests #1216

Closed
lisanna-dettwyler opened this issue Jun 12, 2021 · 2 comments
Closed

Generate cryptol-remote-api API payloads from python tests #1216

lisanna-dettwyler opened this issue Jun 12, 2021 · 2 comments
Labels
remote-api Related to Cryptol's remote API
Milestone
Someday

Comments

@lisanna-dettwyler
Copy link
Contributor

lisanna-dettwyler commented Jun 12, 2021 •
edited
Loading

HTTP payloads can be used to enforce that the API doesn't change in a breaking way, since it'll be frozen in the repository even if the client gets "correctly" updated. Making guarantees about API compatibility is a requirement for predictable operation.
@lisanna-dettwyler lisanna-dettwyler added the remote-api Related to Cryptol's remote API label Jun 12, 2021
@atomb atomb added this to the Someday milestone Jul 2, 2021
@kquick
Copy link
Member

kquick commented Aug 13, 2021

This is essentially mocking either side of the interaction.

@lisanna-dettwyler
Copy link
Contributor Author

Could be useful in weaversa/cryptol-course#172

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
remote-api Related to Cryptol's remote API
Projects
None yet
Milestone
Someday
Development

No branches or pull requests
4 participants
@atomb @kquick @hazelweakly @lisanna-dettwyler