New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Adding a new literal and immediately watching it causes an assertion. #192

Closed

rkaminsk opened this issue Feb 4, 2020 · 0 comments

Assignees

Labels

bug

Milestone

Member

rkaminsk commented Feb 4, 2020

The following program causes an assertion.

import clingo

class Propagator:
    def init(self, init):
        init.add_watch(init.add_literal())

ctl = clingo.Control()
ctl.register_propagator(Propagator())
ctl.solve()

rkaminsk self-assigned this

rkaminsk added the bug label

rkaminsk added this to the v5.4.1 milestone

rkaminsk added a commit that referenced this issue


          fix #192 by updating clasp

813b66e

rkaminsk closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment