krr / IDP / issues / #920 - XSB and infinite domains bug — Bitbucket

Issue #920 on hold

JoD created an issue 2016-08-02

So, XSB's latest version does not return a correct error value, which makes detection of an error quite hard. The problem will pop up when a user uses XSB in conjunction with some inifinite domain, where previously we would warn the user, and now give an incorrect result.

See also pull request #392.

Comments (1)

JoD reporter
- changed status to on hold
We'll wait until XSB fixes its problem (perhaps a later version).
- 2016-08-02T14:59:52+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: on hold

Component: –

Version: –

Votes: 0

Watchers: 1

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