krr / IDP / issues / #461 - calculate definitions produces incorrect results — Bitbucket

Issue #461 invalid

Broes De Cat created an issue 2013-07-11

tpoveri gets an empty interpretation, which is incorrect. It seemed to be related to tpoveri being typed int, but this was not the issue.

input

Comments (2)

Broes De Cat reporter
- edited description
- attached input
- 2013-07-11T09:24:07+00:00
Joachim Jansen
- changed status to invalid
Aready fixed on the approximating_definitions branch
- 2013-07-19T13:45:22+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: major

Status: invalid

Component: –

Version: –

Votes: 0

Watchers: 1

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