+++ /dev/null
-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"