Replay · 1 of 13Replay of a sample runmade-up data · step 1 of 13

Run on Oct 14, 16:02 UTC

Sample

Checked commit 77b1d20, “UART TX with parity”.

Replaying…

Watch Akrida work through the design, one step at a time.

Reading the spec…
Akrida turns each rule in the spec into a requirement and plans the scenarios that prove it.