mrwei 0.1.0

A simple library that implements the common promise primitive for rust based on std future.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

\* SPECIFICATION
\* Uncomment the previous line and provide the specification name if it's declared
\* in the specification file. Comment INIT / NEXT parameters if you use SPECIFICATION.

CONSTANTS
    greeting = "Hello"

INIT Init
NEXT Next

\* PROPERTY
\* Uncomment the previous line and add property names

INVARIANT
    UnreachableState
    ResourceDrop
\* Uncomment the previous line and add invariant names