echidna 0.9.0

A high-performance automatic differentiation library for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

\* Revolve base checkpointing specification
\* Default bounds: NumSteps=8, NumCheckpoints=3

CONSTANTS
    NumSteps = 8
    NumCheckpoints = 3

SPECIFICATION Spec

\* Termination is expected — the "done" state has no successor.
CHECK_DEADLOCK FALSE

INVARIANT
    BudgetInvariant
    PositionRangeInvariant
    SortedCheckpoints
    InitialStateStored
    WorkStackBoundsInvariant
    CompletenessProperty

PROPERTY
    Termination