Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security Policy
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

porcupine

package module

Go to main page

Versions in this module

v0

v0.1.6

Apr 27, 2024

Changes in this version

+ type LinearizationInfo struct

v0.1.5

Mar 6, 2023

v0.1.4

Nov 14, 2022

v0.1.3

Nov 14, 2022

v0.1.2

Jun 4, 2021

v0.1.1

Feb 2, 2021

v0.1.0

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