| David Lamparter | c69905b | 2013-01-24 01:39:14 +0100 | [diff] [blame] | 1 | set timeout 10 |
| 2 | set testprefix "tabletest " | ||||
| 3 | set aborted 0 | ||||
| 4 | |||||
| 5 | spawn "./tabletest" | ||||
| 6 | |||||
| 7 | for {set i 0} {$i < 6} {incr i 1} { onesimple "cmp $i" "Verifying cmp"; } | ||||
| 8 | for {set i 0} {$i < 11} {incr i 1} { onesimple "succ $i" "Verifying successor"; } | ||||
| 9 | onesimple "pause" "Verified pausing" | ||||