jepsen.checker.timeline
Renders an HTML timeline of a history.
breadcrumbs
(breadcrumbs test history-key)Renders a series of back links increasing in depth
op-limit
Maximum number of operations to render. Helps make timeline usable on massive histories.
pair->div
(pair->div history test process-index [start stop])Turns a pair of start/stop operations into a div.
pairs
(pairs history)(pairs invocations [op & ops])Pairs up ops from each process in a history. Yields a lazy sequence of info or invoke, ok|fail|info pairs.
render-op-extra-keys
(render-op-extra-keys op)Helper for render-op which renders keys we didn’t explicitly print
sub-index
(sub-index history)Attaches a :sub-index key to each element of this timeline’s subhistory, identifying its relative position.