Re: [boost] [random] ranlux24_base(0) should be equal to ranlux24_base()

Subject: Re: [boost] [random] ranlux24_base(0) should be equal to ranlux24_base()
From: Marshall Clow (mclow.lists_at_[hidden])
Date: 2013-01-29 21:40:00

On Jan 29, 2013, at 5:21 PM, Stephan T. Lavavej <stl_at_[hidden]> wrote:

> Hi,
> 
> After fixing a bug in VC11's <random> (see [1]), I compared VC's fixed output to Boost 1.52.0's output and I believe I found a bug in Boost. Here's a self-contained test case:

Nice diagnosis!

Can you open a ticket on http://svn.boost.org ?

BTW, I get the same results as you do using clang/libc++

-- Marshall