mirror of https://github.com/vacp2p/research.git
7 lines
165 B
INI
7 lines
165 B
INI
|
\* SPECIFICATION definition
|
||
|
|
SPECIFICATION
|
||
|
|
spec_15753830630934000
|
||
|
|
\* INVARIANT definition
|
||
|
|
INVARIANT
|
||
|
|
inv_15753830630935000
|
||
|
|
\* Generated on Tue Dec 03 22:24:23 CST 2019
|