func NewOptions() *Options {
	return &Options{
		MaxDepth:      1 << 30,
		Duration:      time.Second,
		WatchUntil:    1,
		Seed:          44,
		N:             1,
		TraceWindow:   128,
		RestartFactor: 0,
		GenTrace:      true}
}
NewOptions gives default options.
package sim
import "time"
type Options struct {
	MaxDepth int64
	Duration time.Duration
	WatchUntil int
	Seed int64
	N int
	TraceWindow int
	RestartFactor int
	GenTrace bool
	Verbose bool
	EventFlags EventFlag
	EventChan chan *Event
}