bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Daniel Diaz
Subject: Re: Regression from 1.4.1 to 1.4.2: Segmentation fault with reified constraints
Date: Mon, 25 Feb 2013 14:11:53 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130106 Thunderbird/17.0.2

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
address@hidden
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.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]