[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Regression from 1.4.1 to 1.4.2: Segmentation fault with reified constrai
From: |
Thierry Martinez |
Subject: |
Regression from 1.4.1 to 1.4.2: Segmentation fault with reified constraints |
Date: |
Sat, 23 Feb 2013 22:04:50 +0100 |
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.
- Regression from 1.4.1 to 1.4.2: Segmentation fault with reified constraints,
Thierry Martinez <=