1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Insert segfauls on an enumset where some predicate symbol is not declared

Issue #198 resolved
Broes De Cat created an issue

No description provided.

Comments (2)

  2. Broes De Cat reporter

    Fixes parsing issues, adds aggregate reification

    Fixes #198: Insert segfaulted because a set was deleted bu the pointer was reused later on when an error was detected.

    Adds an unnesting step for nested aggregates with cp which replaces them with a CONSTANT instead of a variable, such that only one formula needs to be grounded. TODO should be generalized when free variables are involved.

    Fixes an issue where an empty domain was no checked by derivebounds and led to a crash.

    → 42a369f50661

  3. Log in to comment
Assignee
Type
bug
Priority
major
Status
resolved
Component
–
Version
–
Votes
0
Watchers
0
Jira: the preferred issue tracker for Bitbucket. Join the team!