blob: 1dc791d119d5d71c087b3c054ce62458fbbef26a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
When the clock time is /t/ {
sleep 0.5
Claim the derived clock time is $t
}
Hold! the number of clock impulses is 0
When the derived clock time is /t/ {
set n [dict get [QueryOne! the number of clock impulses is /n/] n]
Hold! the number of clock impulses is [+ $n 1]
}
sleep 5
set n [dict get [QueryOne! the number of clock impulses is /n/] n]
puts $n
assert {$n > 5}
Exit! 0
|