porcupine

package

v1.0.0 Latest Latest Go to latest Published: Dec 17, 2020 License: Apache-2.0 Imports: 5 Imported by: 2

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

This section is empty.

This section is empty.

func ConvertOperationsToEvents(ops []core.Operation) ([]porcupine.Event, error)

ConvertOperationsToEvents converts core.Operations to porcupine.Event.

type Checker struct{}

Checker is a linearizability checker powered by Porcupine.

func (Checker) Check(m core.Model, ops []core.Operation) (bool, error)

Check checks the history of operations meets liearizability or not with model. False means the history is not linearizable.

func (Checker) Name() string

Name is the name of porcupine checker