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

Merging of structures results segfault

Issue #311 resolved
JoD created an issue

Running idp on the attached files results in a segfault. It still worked in 3.1.1 The correct answer should be the structure given int theory.idp.model (useful for test cases?)

Possibly related to https://bitbucket.org/krr/idp/pull-request/26/merging-sorts/diff

Comments (2)

  2. Bart Bogaerts

    Memory fix in FuncInter

    The problem was that, when a functinter was created with a functable, the functable was stored on two locations. But, at later points one of two could be deleted. This is now fixed, by makeing two separate functables sharing the same internalfunctable. This fixes #311

    Also adapted the mergetest to check this behavior

    → <<cset db9c2f0966f9>>

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