| set timeout 10 | |
| set testprefix "tabletest " | |
| set aborted 0 | |
| spawn "./tabletest" | |
| for {set i 0} {$i < 6} {incr i 1} { onesimple "cmp $i" "Verifying cmp"; } | |
| for {set i 0} {$i < 11} {incr i 1} { onesimple "succ $i" "Verifying successor"; } | |
| onesimple "pause" "Verified pausing" |