reverseReplay

type DataRace struct {
	T1    uint64
	T2    uint64
	T1Idx int
	T2Idx int
}

type RMachine struct {
	Threads       map[uint64]util.Thread
	AsyncChans    map[uint64][]*util.Item
	ClosedChans   map[uint64]struct{}
	ClosedChansVC map[uint64]util.VectorClock
	Stopped       bool
	Vars1         map[uint64]*util.VarState1
	Vars2         map[uint64]*util.VarState2
	Vars3         map[uint64]*util.VarState3
	AsyncChans2   map[uint64]util.AsyncChan
	ChanVC        map[uint64]*util.ChanState
	//Selects       []SelectStore
	AccessCounter uint64
	FieldCounter  uint32
	LockCounter   uint32
	SignalList    []*util.Item
}