krr / IDP / issues / #212 - Infinite check not working — Bitbucket

Issue #212 new

Broes De Cat created an issue 2012-08-02

On file in attachment

infcheck.idp

Comments (2)

Bart Bogaerts
That is because the infinite-generator check is disabled if we ground with bounds...

Don't know if we want to keep it this way...
- 2012-12-12T14:21:13+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:55+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 0

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