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.

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

Minor API improvements #27

Merged
merged 1 commit into from
Jul 13, 2023
Merged

Minor API improvements #27

merged 1 commit into from
Jul 13, 2023

Conversation

edsko
Copy link
Collaborator

@edsko edsko commented Jul 13, 2023

The dialogue-based test suite is so useful for discovering inconsistencies between the server and the client API, since a single description of the communication is interpreted in "dual" ways by both the server and the client.

We still haven't actually executed any of these tests (we're getting close to that point now), but simply writing them has already proven very useful indeed.

The dialogue-based test suite is _so_ useful for discovering inconsistencies
between the server and the client API, since a _single_ description of the
communication is interpreted in "dual" ways by both the server and the client.

We still haven't actually _executed_ any of these tests (we're getting close to
that point now), but simply writing them has already proven very useful indeed.
@edsko edsko force-pushed the edsko/minor-api-improvements branch from 7294654 to 60e2aa6 Compare July 13, 2023 13:49
@edsko edsko merged commit 65084c3 into main Jul 13, 2023
8 checks passed
@edsko edsko deleted the edsko/minor-api-improvements branch July 13, 2023 13:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant