Hi Christian, Have you had any chance to look into supporting gcc 5 and MSVC 2015?
Thanks, Filip
Hi Filip, Thanks for the information. This really looks like a gcc problem. Guido, can you reproduce this behavior? Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Filip Konvicka Sent: Friday, October 2, 2015 09:58 AM To: users@gecode.org Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build Hi, We were looking a bit more into 4.4.0 on Linux where we've also hit some issues. All tests worked fine with gcc 4.9.3. However, with gcc 5.2.0 many tests failed - see the attachements for details: gecode-4.4.0-gcc-5.2.0-failed_tests.list ... list of failed tests (except two memory fails below) gecode-4.4.0-gcc-5.2.0-failed_tests.log ... log from 'test' for failed tests Two tests ran out of memory (allocated several GBs of memory before getting killed by system): Set::Branch::Sparse::3 Set::Channel::Sorted gcc details: target=x86_64-linux-gnu GCC_VER=5.2.0 GMP_VER=6.0.0 MPFR_VER=3.1.3 MPC_VER=1.0.3 BINUTILS_VER=2.25 It could also be a gcc bug of course, hard to tell. Thanks, Filip
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users