bug-prolog
[Top][All Lists]
Advanced

[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.



reply via email to

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