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

XSB: Constructed types in Definition Bodies

Issue #953 resolved
Ingmar Dasseville created an issue

Expected: p = true Observed: p = false http://dtai.cs.kuleuven.be/krr/idp-ide/?src=2668124f7a4fdd0adc736ce534b4ea41

(bug was introduced between 3.6 and 3.7)

Comments (4)

  3. Ingmar Dasseville reporter

    Haven't looked at it, but it's not in the master, so this issue should not be resolved.

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