Do applies the effect of instr to the value state and returns an Extended ValState.

Flatten turns sf into a list of calls where the outer-most call is first.

Get returns the value associated with ps in psm.

Parse parses a standard Go benchmark results file from r. It returns a *Benchmark for each benchmark result line in the file. There may be many result

consume searches for r in the remaining text. If found, it consumes up to the end of the match, fills m.groups with the matched groups, and returns tr

mark sets marked[i] for every object i reachable from p (including p itself). This is NOT preemptible.

stringMem stringifies a memory with marks.

Add adds lock edges to the lock order, given that the locks in locked are currently held and the locks in locking are being acquired at stack.

Contains returns true if every outcome in s2 is contained in s.

EncodeVarint and DecodeVarint from https://github.com/golang/protobuf

FindCycles returns a list of cycles in the lock order. Each cycle is a list of lock IDs from the StringSpace in cycle order (without any repetition).

HappensBefore returns whether instruction i globally happens before instruction j, assuming that i was executed before j. It returns HBHappensBefore

Intern turns str into a small integer where Intern(x) == Intern(y) iff x == y.

Kill kills the process, first gracefully then aggressively, and attempts to kill all of its sub-processes.

LimitToHeap returns a ValState containing only the heap bindings in vs.

NewNormString matches s against re to mark the B, N, and L fields. re may have capture groups named "B", "N", and "L" and will be implicitly anchored

ambPointer returns an ambiguous pointer from the union of the specified sets. If ps&(pointerStack|pointerReachable) != 0, tid must specify the thread

combinedOutputTimeout is like c.CombinedOutput(), but if run.timeout != 0, it will kill c after run.timeout time expires.

line consumes and returns the remainder of the current line, not including the line terminator.

linearIndex encodes tab in the alternate "linear index" format.

logFailed updates c with a failed run. If buildFailed is true, this is considered a permanent failure and buildFailed is set.

number returns n as a numberNode or panics with a type error.

partial returns true if this commit is both runnable and already has some runs.

sameType requires that x and y have the same type and that both are one of typs.

scan scans obj, shading objects that obj re

walkFunction explores f, starting at the given path state. It returns the set of path states possible on exit from f. ps should have block and mask s

writeLog appends msg to c's log file. The caller is responsible for properly formatting it.