transcript-linting

Here is 1 public repository matching this topic...

A control instrument for handshake state machines - lint protocol models, replay transcripts, and fly deterministic mutations until a trace diverges.

To associate your repository with the transcript-linting topic, visit your repo's landing page and select "manage topics."