krr / IDP / issues / #457 - XSB aggregate unnesting bug — Bitbucket

Issue #457 resolved

Broes De Cat created an issue 2013-07-10

ERROR 1: card < var throws an xsb error. Manually unnesting solves the problem.

ERROR 2: Extra bug in zelfde file: de zinnen voor positionToBeGuessed en positionsPrefilled geven het verkeerde resultaat als er voor die card een int/nat type wordt afgeleid of manueel wordt ingegeven.

xsb_bug

Comments (2)

Broes De Cat reporter
- edited description
- 2013-07-10T15:13:39+00:00
Joachim Jansen
- changed status to resolved
Resolved in commit

48a6d061eb1bfe236976199f58df62f3a514b8cc
- 2013-07-19T15:06:56+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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