Documentation ¶ Overview ¶ The linearize_trace command takes a trace that has an initial state, and converts it to a trace that is prefixed with all of the commands needed to reset the state in that trace. Source Files ¶ View all Source files main.go Click to show internal directories. Click to hide internal directories.