package
Version:
v0.0.0-...-c86faf4
Opens a new window with list of versions in this module.
Published: Jul 10, 2019
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.