krr / IDP / issues / #788 - Grounder produces recursive CP terms — Bitbucket

Issue #788 new

Bart Bogaerts created an issue 2014-08-01

Currently, the grounderfactory throws an error since it encounters such terms, but this is a bug. They should have been unnested or detected earlier. This causes one test to fail.

For clarity of the test framework, I will disable this test soon, but it should be placed back as soon as the actual bug is fixed.

Comments (3)

Bart Bogaerts reporter
temporary disabled dijkstra test. See #788

→ <<cset 2400acf69b57>>
- 2014-08-01T13:50:27+00:00
Broes De Cat
- edited description
- 2014-08-01T18:24:58+00:00
Joachim Jansen
temporary disabled dijkstra test. See #788

→ <<cset 2400acf69b57>>
- 2014-08-27T09:36:53+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 2

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