5 check_expected ([<<'EOF']);
6 (alarm-simultaneous) begin
7 (alarm-simultaneous) Creating 3 threads to sleep 5 times each.
8 (alarm-simultaneous) Each thread sleeps 10 ticks each time.
9 (alarm-simultaneous) Within an iteration, all threads should wake up on the same tick.
10 (alarm-simultaneous) iteration 0, thread 0: woke up after 10 ticks
11 (alarm-simultaneous) iteration 0, thread 1: woke up 0 ticks later
12 (alarm-simultaneous) iteration 0, thread 2: woke up 0 ticks later
13 (alarm-simultaneous) iteration 1, thread 0: woke up 10 ticks later
14 (alarm-simultaneous) iteration 1, thread 1: woke up 0 ticks later
15 (alarm-simultaneous) iteration 1, thread 2: woke up 0 ticks later
16 (alarm-simultaneous) iteration 2, thread 0: woke up 10 ticks later
17 (alarm-simultaneous) iteration 2, thread 1: woke up 0 ticks later
18 (alarm-simultaneous) iteration 2, thread 2: woke up 0 ticks later
19 (alarm-simultaneous) iteration 3, thread 0: woke up 10 ticks later
20 (alarm-simultaneous) iteration 3, thread 1: woke up 0 ticks later
21 (alarm-simultaneous) iteration 3, thread 2: woke up 0 ticks later
22 (alarm-simultaneous) iteration 4, thread 0: woke up 10 ticks later
23 (alarm-simultaneous) iteration 4, thread 1: woke up 0 ticks later
24 (alarm-simultaneous) iteration 4, thread 2: woke up 0 ticks later
25 (alarm-simultaneous) end