![]() ![]() | ![]() |
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"