Cadical 1.6.0 MS VC++ breaks for --shrink > 0
a1880 opened this issue · comments
I compiled Cadical 1.6.0 in three flavors:
with MS VC++ 2022, with MSYS2 MinGW 64 and with Windows WSL2 Ubuntu g++ 11.3.0.
The MS VC++ binary stops with an assertion violation
(cf. observation by deiruch)
line 226 of shrink.cpp: assert (v.reason);
As a workaround, I can use --shrink=0
as commandline parameter.
The other two binaries don't exhibit this problem.
Greetings,
Axel Kemper
Oh well, I guess this is a Microsoft compiler issue then (the other two Windows builds
use 'gcc' I assume). We are busy continuing to merge our SAT papers code (LRAT is next)
then we will have a look at this.
We are still short of being able to test MS VC++ compilation, so will keep this open.