![]() ![]() | ![]() |
1.1 ! misho 1: set timeout 10 ! 2: set testprefix "tabletest " ! 3: set aborted 0 ! 4: ! 5: spawn "./tabletest" ! 6: ! 7: for {set i 0} {$i < 6} {incr i 1} { onesimple "cmp $i" "Verifying cmp"; } ! 8: for {set i 0} {$i < 11} {incr i 1} { onesimple "succ $i" "Verifying successor"; } ! 9: onesimple "pause" "Verified pausing"