blob: 186f997c433f27c2a496f84a394cd1d5335aa073 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
proc run {} {
list [time Step 100] "[Statements::size] statements"
}
Assert George is a dog
Assert when /name/ is a /animal/ {{name animal} {
puts " Found an animal $name"
}}
Assert when /node/ has step count /c/ {{node c} {}}
Assert Bob is a cat
puts "$::thisProcess: No additional statements:"
puts " [run]"
for {set i 0} {$i < 100} {incr i} { Assert $i }
puts "$::thisProcess: Asserted 100 statements:"
puts " [run]"
Assert Omar is a human
puts "$::thisProcess: Asserted 100 statements + Omar is a human:"
puts " [run]"
puts "$::thisProcess: Same:"
puts " [run]"
puts "$::thisProcess: Same:"
puts " [run]"
puts "$::thisProcess: Same:"
puts " [run]"
|
