Re: [Potassco-users] segmentation fault in Gringo

[Roland K. <kam...@cs...>]

On Sunday, November 04, 2012 11:24:21 AM Peter Skočovský wrote:
> Hi!
> 
> When I run gringo 3.0.4 with the following input, it ends with Segmentation
> fault:
> 
> c(2, a;b).c(3, a;b;d).c(4, b;d).
> cc(a;b, 2).cc(a;b;d, 3).cc(b;d, 4).
> d(2).-d(3..4).
> r54a((X..5);a):c(2..X, a;b)|r54b(X) :- -d(X), c(2..X, A;d):c(2;3, A).

Thanks for reporting this but please use the bug tracker for such things:
https://sourceforge.net/p/potassco/bugs/75/

I put a patch there.

Regards, Roland