porcupine

Documentation

Index

• func ConvertOperationsToEvents(ops []core.Operation) ([]porcupine.Event, error)
• type Checker
  • func (Checker) Check(m core.Model, ops []core.Operation) (bool, error)
  • func (Checker) Name() string

Functions

func ConvertOperationsToEvents

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

ConvertOperationsToEvents converts core.Operations to porcupine.Event.

Types

type Checker

type Checker struct{}

Checker is a linearizability checker powered by Porcupine.

func (Checker) Check

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

func (Checker) Name() string

Name is the name of porcupine checker