Re: Regression from 1.4.1 to 1.4.2: Segmentation fault with reified constraints

Thierry,

Thank you for the bug report. There is a problem in the FD solver (file 
EngineFD/fd_inst.c). Solved in this snapshot:

http://gprolog.univ-paris1.fr/unstable/gprolog-20130225.tgz

Daniel


Le 23/02/2013 22:04, Thierry Martinez a écrit :
> Hi!
>
> The following program leads to a segmentation violation both under
> Windows and Linux with GNU Prolog 1.4.2 (“here” is printed, the
> segmentation violation occurs on the last line). This program
> terminates correctly with GNU Prolog 1.4.1.
>
> :- initialization(a).
>
> a :-
>     L = [A, B, C],
>     fd_domain(L, 0, 1),
>     B = A,
>     C #==> A,
>     \+ (
>        #\ A #\/ #\ A,
>        C = 1
>     ),
>     fd_domain(D, 0, 1),
>     print(here),
>     nl,
>     D = 1.
>
> Thanks you.
> --
> Thierry.
>
> _______________________________________________
> Bug-prolog mailing list
> [email protected]
> https://lists.gnu.org/mailman/listinfo/bug-prolog
>


-- 
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.


_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog