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

---
source: hydro_lang/src/sim/tests/mod.rs
expression: log_str
---
Running Tick
* --> src/sim/tests/mod.rs:105:10
*  |        .batch(&tick, nondet!(/** test */))
*  |         ^ releasing items: [456, 456, 456, 456, 456, 456, 456, 456, ..] (1000 total)

Running Tick
* --> src/sim/tests/mod.rs:105:10
*  |        .batch(&tick, nondet!(/** test */))
*  |         ^ releasing items: [100, 23]