mirror of
https://github.com/neondatabase/neon.git
synced 2026-01-04 12:02:55 +00:00
34 lines
481 B
INI
34 lines
481 B
INI
\* MV CONSTANT declarations
|
|
CONSTANT NULL = NULL
|
|
CONSTANTS
|
|
p1 = p1
|
|
p2 = p2
|
|
p3 = p3
|
|
a1 = a1
|
|
a2 = a2
|
|
a3 = a3
|
|
\* MV CONSTANT definitions
|
|
CONSTANT
|
|
proposers = {p1, p2}
|
|
acceptors = {a1, a2, a3}
|
|
\* SYMMETRY definition
|
|
SYMMETRY perms
|
|
\* CONSTANT definitions
|
|
CONSTANT
|
|
max_term = 3
|
|
CONSTANT
|
|
max_entries = 3
|
|
\* INIT definition
|
|
INIT
|
|
Init
|
|
\* NEXT definition
|
|
NEXT
|
|
Next
|
|
\* INVARIANT definition
|
|
INVARIANT
|
|
TypeOk
|
|
ElectionSafety
|
|
LogIsMonotonic
|
|
LogSafety
|
|
CommittedNotOverwritten
|
|
CHECK_DEADLOCK FALSE |