Closed rkaminsk closed 1 year ago
@rkaminsk The assertion is wrong (too strict) - I pushed a fix to dev. Unfortunately, I don't think that it could explain a real bug :disappointed:
@rkaminsk The assertion is wrong (too strict) - I pushed a fix to dev. Unfortunately, I don't think that it could explain a real bug disappointed
Thanks. I'll continue with the other examples and try to produce something smaller. I'll do this in a separate issue.
A user reported potassco/clingo#425. While trying to come up with a minimal example that still triggers the bug. I stumbled over a program that triggers an assertion. I am not sure the two issues are related. Once the problem with the assertion is fixed, I can probably produce a much smaller program that triggers the problem in potassco/clingo#425 (if it then still exists).
Unfortunately, the assertion appears to be random. Seemingly unrelated changes to the program below make the assertion disappear. However, the program below reliably triggers it:
Or in ASPIF: