package
Version:
v0.0.0-...-d89597d
Opens a new window with list of versions in this module.
Published: Feb 10, 2020
License: Apache-2.0
Opens a new window with license information.
Imports: 4
Opens a new window with list of imports.
Imported by: 0
Opens a new window with list of known importers.
Documentation
¶
ConvertOperationsToEvents converts core.Operations to porcupine.Event.
Checker is a linearizability checker powered by Porcupine.
Check checks the history of operations meets liearizability or not with model.
False means the history is not linearizable.
Name is the name of porcupine checker
Source Files
¶
Click to show internal directories.
Click to hide internal directories.