Versions in this module Expand all Collapse all v0 v0.2.0 Apr 17, 2023 Changes in this version + func Exit() + func Finish() + func Start(fn func()) + func TIDGenerator() func() TID + type IncreasingDepth []*state + func (states IncreasingDepth) Len() int + func (states IncreasingDepth) Less(i, j int) bool + func (states IncreasingDepth) Swap(i, j int) + type IncreasingTID []TID + func (tids IncreasingTID) Len() int + func (tids IncreasingTID) Less(i, j int) bool + func (tids IncreasingTID) Swap(i, j int) + type TID int + type Tester struct + func Init(setup, body, cleanup func()) *Tester + func T() *Tester + func (t *Tester) Explore() (int, error) + func (t *Tester) ExploreFor(d time.Duration) (int, error) + func (t *Tester) ExploreN(n int) (int, error) + func (t *Tester) MutexLock(m *sync.Mutex) + func (t *Tester) MutexUnlock(m *sync.Mutex) + func (t *Tester) RWMutexLock(rw *sync.RWMutex) + func (t *Tester) RWMutexRLock(rw *sync.RWMutex) + func (t *Tester) RWMutexRUnlock(rw *sync.RWMutex) + func (t *Tester) RWMutexUnlock(rw *sync.RWMutex)
Go to main page