hydro_lang 0.16.0

A Rust framework for correct and performant distributed systems
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

---
source: hydro_lang/src/sim/tests/trophies/sequence_payloads.rs
expression: log_str
---

Running Tick
* --> src/sim/tests/trophies/sequence_payloads.rs:40:10
*  |        .batch(replica_tick, nondet!(
*  |         ^ releasing unordered items: [SequencedKv { seq: 1 }]

Running Tick
* --> src/sim/tests/trophies/sequence_payloads.rs:40:10
*  |        .batch(replica_tick, nondet!(
*  |         ^ releasing unordered items: [SequencedKv { seq: 0 }]

Running Tick
* --> src/sim/tests/trophies/sequence_payloads.rs:40:10
*  |        .batch(replica_tick, nondet!(
*  |         ^ releasing unordered items: [SequencedKv { seq: 2 }]

Running Tick
* --> src/sim/tests/trophies/sequence_payloads.rs:40:10
*  |        .batch(replica_tick, nondet!(
*  |         ^ releasing unordered items: [SequencedKv { seq: 3 }]