utils

Documentation

Index

• Variables
• func EnableTestDebug()
• func NewCustomStates(t *testing.T, states am.Struct) *am.Machine
• func NewNoRels(t *testing.T, initialState am.S) *am.Machine
• func NewRels(t *testing.T, initialState am.S) *am.Machine
• func RandListener(host string) net.Listener
• func RandPort(min, max int) string

Variables

var (
	ConnInit sync.Mutex
)

Functions

func EnableTestDebug

func EnableTestDebug()

EnableTestDebug sets env vars for debugging tested machines with am-dbg at port 9913.

func NewCustomStates

func NewCustomStates(t *testing.T, states am.Struct) *am.Machine

NewCustomStates creates a new machine with custom ss.

func NewNoRels

func NewNoRels(t *testing.T, initialState am.S) *am.Machine

NewNoRels creates a new machine without relations between ss.

func NewRels

func NewRels(t *testing.T, initialState am.S) *am.Machine

NewRels creates a new machine with basic relations between ss.

func RandListener

func RandListener(host string) net.Listener

func RandPort

func RandPort(min, max int) string