ptr is a memory pointer, as an index into mem. 0 is the nil pointer.

ptr is a memory pointer, as an index into mem. 0 is the nil pointer.

An Outcome represents the outcomes of all instructions in an execution. Bit i of an Outcome is set to the result of the load with ID i.

0-based

MemState stores the memory state of an executing program. It is a bit vector indexed by variable number.

TimeSince formats as the duration since a given reference time. This is intended for use in deferred format strings since it will continue to show the

An hbGraphNode represents the set of in-edges for a single node in the global happens-before graph. If bit i is set, then node i globally happens-befo

A BenchKey identifies one metric (e.g., "ns/op", "B/op") from one benchmark (function name sans "Benchmark" prefix) in one configuration (input file n

Benchmark records the configuration and results of a single benchmark run (a single line of a benchmark results file).

A Benchstat is the metrics along one axis (e.g., ns/op or MB/s) for all runs of a specific benchmark.

There are several complications here: * The process may start subprocesses. It may exit before its subprocesses. Still-running subprocesses may keep

Config represents a single key/value configuration pair.

Culprit gives the probability P that the event at time T was responsible for a failure.

A DebugTree captures a hierarchical debug trace. It's useful for visualizing the execution of recursive functions.

BUG: DynConst is infinite precision. It should track its type and truncate the results of every operation.

DynFieldAddr is the address of a field in a global. Because it is only fields in globals, it can only alias other DynFieldAddrs. TODO: We could unify

DynGlobal is the address of a global. Because it's the address of a global, it can only alias other DynGlobals.

DynHeapPtr is a pointer to a tracked heap object. Because globals and heap objects are tracked separately, a DynHeapPtr can only alias other DynHeapPt

DynNil is a nil pointer.

DynStruct is a struct value consisting of heap objects. It maps from field name to heap object. Note that each tracked field is its own heap object; e

A DynValue is the dynamic value of an ssa.Value on a particular execution path. It can track any scalar value and addresses that cannot alias (e.g., a

ErrNondeterminism is the error used by deterministic strategies to indicate that the strategy detected that the application behaved non-deterministica

Failure records a failure extracted from an all.bash log.

GeometricDist is a geometric distribution with success probability P.

GerritAccount is the JSON struct for a Gerrit AccountInfo.

GerritApproval is the JSON struct for a Gerrit ApprovalInfo.

GerritChangeInfo is the JSON struct returned by a Gerrit CL query.

GerritChangeMessageInfo is the JSON struct for a Gerrit ChangeMessageInfo.

GerritLabel is the JSON struct for a Gerrit LabelInfo.

GerritRevision is the JSON struct for a Gerrit RevisionInfo.

GitHubClient wraps the [github.Client] API to provide injection points.

GitHubDryClient is a dry-run client that rejects mutation operations.

GitHubLogger is a GitHubClient that logs all mutation operations and delegates all actions to an underlying client.

HBAcqRel is an HBGenerator that implements acquire/release.

HBGenerator generates a happens-before graph. TODO: Given how stateless this is, we could precompute all n^2 results.

HBModel is a generalized memory model with a plug-in happens-before graph generator. This model works by generating all sequential interleavings of t

HBSC is a HBGenerator that implements sequential consistency.

HBTSO is an HBGenerator that implements TSO.

HBUnordered is an HBGenerator that implements fully relaxed memory order where the *only* order observed is local program order. This corresponds to h

A HeapObject is a tracked object in the heap. HeapObjects have identity; that is, for two *HeapObjects x and y, they refer to the same heap object if

A LockClass represents a set of locks. LockClasses form equivalence classes: a given lock instance belongs to exactly one lock class. Often, a LockCla

LockOrder tracks a lock graph and reports cycles that prevent the graph from being a partial order.

LockSet represents a set of locks and where they were acquired.

A LockSetSet is a set of LockSets.