|
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.
[Prev in Thread] | Current Thread | [Next in Thread] |