krr / IDP / issues / #947 - Errors in XSB are not propagated — Bitbucket

Issue #947 resolved

Ingmar Dasseville created an issue 2017-10-12

Variable "a" can't be generated by XSB. XSB throws an error internally, but IDP still thinks the answer set is empty.

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=c3e12bee3ed7d74a68b9b876a8264055

Comments (1)

Joachim Jansen
- changed status to resolved
fixed in PR 410
- 2017-10-19T12:49:10+00:00
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!