isa-replay

Overview ¶

isa-replay ¶

A small CLI to write unit tests in an easy DSL for testing servers compatible with the isabelle server protocol.

## replay file format

Replay files are small scripts that describe a sequential message exchange between a client and server.

They consist of two main units:

• instructions: A client message that is being send to the server. An instruction is described as '-> {Message}', where {Message} is client message, like 'help'. These messages are validated by the client parser during startup and invalid messages will be rejected. An instruction may use previously captured content, see below, with string templates to allow for dynamic requests
• assertions: A JSON expression describing an expected server behavoir, this consists of three steps: waiting for (with optional skipping) a message with a specific state, (optional) matching regexps against the response body or full response and (optional) capturing part of the output for the next instructions