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"
