| 1 | Script started on Sun Sep 23 15:42:25 2007 |
|---|
| 2 | $ ./tcb-bug 1 2000 |
|---|
| 3 | tick: 0, 1190583759141410 |
|---|
| 4 | tick: 1, 1190583761141411 |
|---|
| 5 | tick: 2, 1190583763141499 |
|---|
| 6 | tick: 3, 1190583765141397 |
|---|
| 7 | tick: 4, 1190583767141566 |
|---|
| 8 | $ ./tcb-bug 1 500 |
|---|
| 9 | tick: 0, 1190583783346370 |
|---|
| 10 | tick: 1, 1190583783846430 |
|---|
| 11 | tick: 2, 1190583784346466 |
|---|
| 12 | tick: 3, 1190583784846604 |
|---|
| 13 | tick: 4, 1190583785346549 |
|---|
| 14 | $ ./tcb-bug 2 2000 |
|---|
| 15 | tick: 0, 1190583795095374 |
|---|
| 16 | tick: 1, 1190583797510144 |
|---|
| 17 | tick: 2, 1190583797510533 |
|---|
| 18 | tick: 3, 1190583799510790 |
|---|
| 19 | tick: 4, 1190583799511171 |
|---|
| 20 | tick: 5, 1190583801511551 |
|---|
| 21 | tick: 6, 1190583801511988 |
|---|
| 22 | tick: 7, 1190583803512219 |
|---|
| 23 | tick: 8, 1190583803512591 |
|---|
| 24 | tick: 9, 1190583805512912 |
|---|
| 25 | tick: 10, 1190583805513369 |
|---|
| 26 | $ ./tcb-bug 2 500 |
|---|
| 27 | tick: 0, 1190583813931402 |
|---|
| 28 | tick: 1, 1190583814432028 |
|---|
| 29 | tick: 2, 1190583814932265 |
|---|
| 30 | tick: 3, 1190583815432694 |
|---|
| 31 | tick: 4, 1190583815933104 |
|---|
| 32 | tick: 5, 1190583816433528 |
|---|
| 33 | tick: 6, 1190583816933747 |
|---|
| 34 | tick: 7, 1190583817434080 |
|---|
| 35 | tick: 8, 1190583817934315 |
|---|
| 36 | tick: 9, 1190583818434601 |
|---|
| 37 | tick: 10, 1190583818934832 |
|---|
| 38 | tick: 11, 1190583819435095 |
|---|
| 39 | $ ./tcb-bug 3 2000 |
|---|
| 40 | tick: 0, 1190583828255468 |
|---|
| 41 | tick: 1, 1190583830256086 |
|---|
| 42 | tick: 2, 1190583830256529 |
|---|
| 43 | tick: 3, 1190583832256777 |
|---|
| 44 | tick: 4, 1190583832257167 |
|---|
| 45 | tick: 5, 1190583834257563 |
|---|
| 46 | tick: 6, 1190583834258015 |
|---|
| 47 | tick: 7, 1190583836258301 |
|---|
| 48 | tick: 8, 1190583836258697 |
|---|
| 49 | tick: 9, 1190583838259055 |
|---|
| 50 | tick: 10, 1190583838259503 |
|---|
| 51 | $ ./tcb-bug 3 500 |
|---|
| 52 | tick: 0, 1190583847138912 |
|---|
| 53 | tick: 1, 1190583847639464 |
|---|
| 54 | tick: 2, 1190583848139761 |
|---|
| 55 | tick: 3, 1190583848640070 |
|---|
| 56 | tick: 4, 1190583849140444 |
|---|
| 57 | tick: 5, 1190583849640851 |
|---|
| 58 | tick: 6, 1190583850141130 |
|---|
| 59 | tick: 7, 1190583850641558 |
|---|
| 60 | tick: 8, 1190583851141933 |
|---|
| 61 | tick: 9, 1190583851642354 |
|---|
| 62 | tick: 10, 1190583852142771 |
|---|
| 63 | $ exit |
|---|
| 64 | |
|---|
| 65 | Script done on Sun Sep 23 15:44:15 2007 |
|---|
