the world
✓ 25 passing
Lessons
1 ✓
Passing
generator squares
2 ✓
Passing generator fold named
3 ✓
Passing generator fold optional arm
4 ✓
Passing mutex unlock
5 ✓
Passing double unlock
6 ✓
Passing let it crash
7 ✓
Passing let it crash uncaught
8 ✓
Passing celld lease race
Has docs9 ✓
Passing celld write after release
10 ✓
Passing celld forged lease
11 ✓
Passing celld lease with no way back
12 ✓
Passing celld durability gate
13 ✓
Passing celld ack without proof
14 ✓
Passing celld unanswered request
15 ✓
Passing celld answered twice
16 ✓
Passing celld fence forces failure
17 ✓
Passing celld ack after fence
18 ✓
Passing celld lease end unstated
19 ✓
Passing raft quorum commit
Has docs20 ✓
Passing raft double counted ack
21 ✓
Passing raft identity is not linearity
22 ✓
Passing orleans turn exclusivity
Has docs23 ✓
Passing orleans state without a turn
24 ✓
Passing orleans state after the turn ends
25 ✓
Passing orleans stale read survives the interleave