mirror of
https://github.com/zaphar/merkle-dag.git
synced 2025-07-23 02:59:49 -04:00
13 lines
202 B
INI
13 lines
202 B
INI
CONSTANT
|
|
Null = Null
|
|
NumNodes = 2
|
|
|
|
SPECIFICATION
|
|
Spec
|
|
|
|
\* PROPERTY
|
|
\* Uncomment the previous line and add property names
|
|
|
|
\* INVARIANT
|
|
\* Uncomment the previous line and add invariant names
|