Adding Observer causes SIGSEGV

[domoritz]

#script(python)

class Observer():
    pass

def main(prg):
    prg.register_observer(Observer())

    prg.ground([('base', [])])
    prg.solve()

#end.

a(1..3,1).
a(3..6,2).
a(6..9,3).
a(9..12,4).

2 { b(X,C): a(X,C) } 10.

:~ b(X,C). [C,X]

#show b/2.

> clingo test.lp  
clingo version 5.2.2
Reading from test.lp
fish: 'clingo test.lp' terminated by signal SIGSEGV (Address boundary error)

[domoritz]

The documentation says An observer should be a class of the form below. Not all functions have to be implemented and can be ommited if not needed.

[domoritz]

Is this the same as the lucky issue #42? It doesn't seem to be as the patch was merged into master and released already.

[domoritz]

I tried with a clingo binary built from master and see the same problem.

[domoritz]

🎉 Thank you for the quick response! The patch fixes the issue.