Bug#248352: more data on the seed48 problem

2004-05-12 Thread Colin Watson
On Wed, May 12, 2004 at 03:18:44PM +0200, Tomas Pospisek wrote: > Package: libc6 > Version: 2.3.2.ds1-12 > Severity: normal > Followup-For: Bug #248352 > > Here are three more datapoints for the seed48 problem. > > --- system 1 --- > $ cat kak.c > #include > > unsigned short

Bug#248352: more data on the seed48 problem

2004-05-12 Thread Daniel Jacobowitz
On Wed, May 12, 2004 at 03:18:44PM +0200, Tomas Pospisek wrote: > --- system 1 --- > $ cat kak.c > #include > > unsigned short seed[3] = {0x7d1b, 0xa934, 0xbf10}; > > int main(int argc, char** argv) > { > seed48(seed); > } > $ gcc kak.c > $ ./a.out > $ echo $? > 78 What

Bug#248352: more data on the seed48 problem

2004-05-12 Thread Tomas Pospisek
Package: libc6 Version: 2.3.2.ds1-12 Severity: normal Followup-For: Bug #248352 Here are three more datapoints for the seed48 problem. --- system 1 --- $ cat kak.c #include unsigned short seed[3] = {0x7d1b, 0xa934, 0xbf10}; int main(int argc, char** argv) { seed48(seed)

Bug#248352: more data on the seed48 problem

2004-05-12 Thread Colin Watson
On Wed, May 12, 2004 at 03:18:44PM +0200, Tomas Pospisek wrote: > Package: libc6 > Version: 2.3.2.ds1-12 > Severity: normal > Followup-For: Bug #248352 > > Here are three more datapoints for the seed48 problem. > > --- system 1 --- > $ cat kak.c > #include > > unsigned short

Bug#248352: more data on the seed48 problem

2004-05-12 Thread Daniel Jacobowitz
On Wed, May 12, 2004 at 03:18:44PM +0200, Tomas Pospisek wrote: > --- system 1 --- > $ cat kak.c > #include > > unsigned short seed[3] = {0x7d1b, 0xa934, 0xbf10}; > > int main(int argc, char** argv) > { > seed48(seed); > } > $ gcc kak.c > $ ./a.out > $ echo $? > 78 What

Bug#248352: more data on the seed48 problem

2004-05-12 Thread Tomas Pospisek
Package: libc6 Version: 2.3.2.ds1-12 Severity: normal Followup-For: Bug #248352 Here are three more datapoints for the seed48 problem. --- system 1 --- $ cat kak.c #include unsigned short seed[3] = {0x7d1b, 0xa934, 0xbf10}; int main(int argc, char** argv) { seed48(seed)