Versions in this module Expand all Collapse all v0 v0.1.3 Aug 25, 2021 v0.1.2 Aug 7, 2021 Changes in this version + type Event struct + F EventFlag + I int + M z.Lit + N int64 + T *reach.Trace + V []uint64 + W [][]uint64 + WI int + func (ev *Event) String() string + type EventFlag int + const FlagCopyV + const FlagCopyW + const FlagRoundTrip + const FlagStop + const FlagTrace + const FlagWait + func (f EventFlag) String() string + type Options struct + Duration time.Duration + EventChan chan *Event + EventFlags EventFlag + GenTrace bool + MaxDepth int64 + N int + RestartFactor int + Seed int64 + TraceWindow int + Verbose bool + WatchUntil int + func NewOptions() *Options + type T struct + func New(trans *logic.S, bads ...z.Lit) *T + func (t *T) FillOutput(out *reach.Output) + func (t *T) SetOptions(opts *Options) + func (t *T) Simulate() int64
Go to main page