blob: 5838d4fc7c0e47cd3ee3403868baa9e05faf3438 (
plain)
1
2
3
4
5
6
7
8
9
|
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"
|
