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