tabletest.exp 273 B

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