[gecode-users] Value selection when branching

[Mikael 'Zayenz' Lagerkvist]

On 2/9/06, Lars Otten <ottenl at student.chalmers.se> wrote:
> By the way, I think there's a little bug in the random.cc code:
>
>   void seed(unsigned int val) {
>     if(val) x = val % m;
>     else    val = 1;  // shouldn't that be x=1 ?
>   }

Yes, that was a bug. Thanks for finding it.

Cheers,
Mikael

--
Mikael 'Zayenz' Lagerkvist, http://www.imit.kth.se/~zayenz/