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

Run on Oct 25, 06:10 UTC

Sample

Checked commit e2a9f43, “Parameterised sync FIFO”.

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.