krr / IDP / issues / #611 - Segfault in grounderfactory — Bitbucket

Issue #611 resolved

Joachim Jansen created an issue 2013-12-13

Attached file segfaults on master

Has nothing to do with BDDs.

Probably has something to do with not unnesting enough from the head of the defintiion.

Works if aggregate is moved to body...

bug_mx_segfault.idp

Comments (6)

Bart Bogaerts
- changed title to Segfault in grounderfactory
- edited description
- 2013-12-15T15:19:02+00:00
Broes De Cat
- assigned issue to
  
  Broes De Cat
- 2013-12-15T15:24:26+00:00
Bart Bogaerts
Error: ASSERT FAILED: _formgrounder!=NULL @ /home/bartb/software/idp/src/inferences/grounding/GrounderFactory.cpp (143)
- 2013-12-15T15:26:59+00:00
Broes De Cat
Error: ASSERT FAILED: _formgrounder!=NULL @ /home/bartb/software/idp/src/inferences/grounding/GrounderFactory.cpp (143)
- 2013-12-15T15:27:01+00:00
Bart Bogaerts
It has to do with the fact that the aggregate is not unnested (as this term is two-valued).

However, the headgrounder turns a predform into an aggform and than crashes...
- 2013-12-15T15:36:49+00:00
Broes De Cat
- changed status to resolved
Fixes ~~#611~~: CP should not be used in the head if recursive.

→ <<cset 91381d864af7>>
- 2013-12-23T16:23:53+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!