[gecode-users] [Help] Killer sudoku model (newbie)

[Stefano Gualandi]

Hi,
I can confirm the bug too on my iBook G4 with:

gcc version 4.0.0 20041026 (Apple computer, Inc. build 4061)


If I run the test on a version compiled with --enable-debug I get:

Int::Element::Var::Dom::A: +++++
Int::Element::Var::Dom::B: +++++
Int::GCC::FixCard::Bnd::All::(lb,ub): ../release-1.0.1/int/gcc/ 
bnd.icc:250: failed assertion `x[mu[x.size() - 1]].max()>= ups- 
 >maxValue()'
Abort trap


hope it helps,
Stefano

PS Gecode is release 1.0.1



On Mar 24, 2006, at 1:44 PM, Guido Tack wrote:

>> Thanks for the report, the test actually runs fine on my  
>> machine... This
>> looks as if we are talking a bug in your gcc (or some other part  
>> of the
>> software environment). Which version of gcc is it really? Could  
>> you send
>> the output of gcc -v?
>>
>> Guido: could you try it on your mac?
>
> I can confirm the bug. I tried it on a G3 PowerPC, so it's not due  
> to the G5
> (and that would have surprised me, as we don't generate special G5  
> code
> anyway).
>
> gcc --version produces
>
> powerpc-apple-darwin8-gcc-4.0.1 (GCC) 4.0.1 (Apple Computer, Inc.  
> build 5250)
> Copyright (C) 2005 Free Software Foundation, Inc.
> This is free software; see the source for copying conditions.   
> There is NO
> warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR  
> PURPOSE.
>
> I'll have a look.
>
> Cheers,
> 	Guido
>
> -- 
> Guido Tack
> Programming Systems Lab, Saarland University, Germany
> http://www.ps.uni-sb.de/~tack
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users