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.