porcupine

Jun 26, 2026

Changes in this version

type Model

+ Hash func(state interface{}) uint64

type NondeterministicModel

+ Hash func(state interface{}) uint64

Jun 6, 2026

Changes in this version

type Model

+ StepContext func(ctx context.Context, state interface{}, input interface{}, output interface{}) (bool, interface{})

type NondeterministicModel

+ StepContext func(ctx context.Context, state interface{}, input interface{}, output interface{}) []interface{}

Feb 10, 2026

Changes in this version

type Event

+ Metadata interface{}

type Model

+ DescribeOperationMetadata func(info interface{}) string

type NondeterministicModel

+ DescribeOperationMetadata func(info interface{}) string

type Operation

+ Metadata interface{}

Nov 22, 2024

Changes in this version

+ type NondeterministicModel struct

+ DescribeOperation func(input interface{}, output interface{}) string

+ DescribeState func(state interface{}) string

+ Equal func(state1, state2 interface{}) bool

+ Init func() []interface{}

+ Partition func(history []Operation) [][]Operation

+ PartitionEvent func(history []Event) [][]Event

+ Step func(state interface{}, input interface{}, output interface{}) []interface{}

+ func (nm *NondeterministicModel) ToModel() Model

Nov 21, 2024

Changes in this version

+ type Annotation struct

+ BackgroundColor string

+ ClientId int

+ Description string

+ Details string

+ End int64

+ Start int64

+ Tag string

+ TextColor string

type LinearizationInfo

+ func (li *LinearizationInfo) AddAnnotations(annotations []Annotation)

+ func (li *LinearizationInfo) PartialLinearizations() [][][]int

+ func (li *LinearizationInfo) PartialLinearizationsOperations() [][][]Operation

Apr 27, 2024

Changes in this version

+ type LinearizationInfo struct

May 18, 2020

Changes in this version

+ const Illegal

+ const Ok

+ const Unknown

+ func CheckEvents(model Model, history []Event) bool

+ func CheckOperations(model Model, history []Operation) bool

+ func DefaultDescribeOperation(input interface{}, output interface{}) string

+ func DefaultDescribeState(state interface{}) string

+ func NoPartition(history []Operation) [][]Operation

+ func NoPartitionEvent(history []Event) [][]Event

+ func ShallowEqual(state1, state2 interface{}) bool

+ func Visualize(model Model, info linearizationInfo, output io.Writer) error

+ func VisualizePath(model Model, info linearizationInfo, path string) error

+ type CheckResult string

+ func CheckEventsTimeout(model Model, history []Event, timeout time.Duration) CheckResult

+ func CheckEventsVerbose(model Model, history []Event, timeout time.Duration) (CheckResult, linearizationInfo)

+ func CheckOperationsTimeout(model Model, history []Operation, timeout time.Duration) CheckResult

+ func CheckOperationsVerbose(model Model, history []Operation, timeout time.Duration) (CheckResult, linearizationInfo)

+ type Event struct

+ ClientId int

+ Id int

+ Kind EventKind

+ Value interface{}

+ type EventKind bool

+ const CallEvent

+ const ReturnEvent

+ type Model struct

+ DescribeOperation func(input interface{}, output interface{}) string

+ DescribeState func(state interface{}) string

+ Equal func(state1, state2 interface{}) bool

+ Init func() interface{}

+ Partition func(history []Operation) [][]Operation

+ PartitionEvent func(history []Event) [][]Event

+ Step func(state interface{}, input interface{}, output interface{}) (bool, interface{})

+ type Operation struct

+ Call int64

+ ClientId int

+ Input interface{}

+ Output interface{}

+ Return int64