AddCommonTemplates adds to t a set of templates useful for pretty-printing observations.

FlagOfStrings reconstitutes an observation flag given a representation as a list strs of strings.

Pretty pretty-prints an observation o onto w according to mode m.

Exist represents an existential observation (the default is for-all observations).

Partial represents a partial observation.

Sat represents a satisfying observation.

counter.

TagLast refers to the last tag.

unknown.

witness.

Undef represents an undefined-behaviour observation.

Unsat represents a satisfying observation.

BadTag occurs when we try to unmarshal a string that doesn't correspond to a Tag.

ErrBadFlag occurs when we read an unknown observation flag.

FlagNames maps the string representation of each observation flag to its flag value.

Obs represents an observation in C4's JSON-based format.

PrettyMode controls various pieces of pretty-printer functionality.

State represents a single state in C4's JSON-based format.

Flag is the type of observation flags.

Tag classifies a state line.

Valuation is an observed assignment of variable names to values.