asupersync 0.3.4

Spec-first, cancel-correct, capability-secure async runtime 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
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

---
source: src/plan/analysis.rs
assertion_line: 2186
expression: output
---
--- ObligationSafety ---
Clean: clean
MayLeak: may-leak
Leaked: leaked
Unknown: unknown

--- CancelSafety ---
Safe: safe
MayOrphan: may-orphan
Orphan: orphan
Unknown: unknown

--- BudgetEffect ---
LEAF: polls=[1, 1]
Bounded: polls=[2, 5] deadline=[∞, ∞]
Unbounded: polls=[1, ∞]

--- ObligationFlow ---
Empty: reserves=[] [all-paths-ok]
Complex: reserves=["SendPermit"] must_resolve=["SendPermit"] leak_on_cancel=["Lease"] [LEAK-RISK]

--- IndependenceResult ---
Independent: independent
Dependent: dependent
Uncertain: uncertain

--- TraceEquivalenceHint ---
Atomic: atomic
FullyCommutative: fully-commutative
PartiallyCommutative: partially-commutative(2 groups)
Sequential: sequential
Unknown: unknown