krr / IDP / issues / #495 - Incorrect query results when dependent on function constraints. — Bitbucket

Issue #495 resolved

Broes De Cat created an issue 2013-08-08

No description provided.

query.idp

Comments (3)

Broes De Cat reporter
- assigned issue to
  
  Bart Bogaerts
- 2013-08-12T08:46:42+00:00
Bart Bogaerts
- changed status to resolved
fixes ~~#495~~: graphing all functions in case of three-valued structure yields the desired behaviour.

The actual bug is much deeper, is actually the result of BDDs and functions not really working well together. This is documented in issue #499

→ <<cset 47e533ba0006>>
- 2013-08-14T12:35:05+00:00
Broes De Cat reporter
Merged in functions_query (pull request #120)

fixes ~~#495~~: graphing all functions in case of three-valued structure yields the desired behaviour.

→ <<cset f9f9557466e0>>
- 2013-08-14T14:31:31+00:00
Log in to comment

Assignee: Bart Bogaerts

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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