krr / IDP / issues / #442 - Bug in xsb recursion over negation check — Bitbucket

Issue #442 resolved

Bart Bogaerts created an issue 2013-06-12

the check for recursion over negations when using xsb is wrong, sometimes such recursion is invented... (see attached file)

xsbbug.idp

Comments (3)

Joachim Jansen
- assigned issue to
  
  Joachim Jansen
- 2013-09-25T08:36:03+00:00
Bart Bogaerts reporter
- assigned issue to
  
  Bart Bogaerts
- 2013-10-08T13:39:00+00:00
Bart Bogaerts reporter
- changed status to resolved
Corrected recursion over negation check.

Fixes ~~#442~~

→ <<cset 6fd5ea3c8c28>>
- 2013-10-08T13:39:37+00:00
Log in to comment

Assignee: Bart Bogaerts

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

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