krr / IDP / issues / #424 - Generating with bounds with subtypes? — Bitbucket

Issue #424 new

Broes De Cat created an issue 2013-05-10

In the attached file, too many instances are generated. It seems to be caused by the fact that the integer "1" occurs in argument positions of a subtype.

input

Comments (2)

Broes De Cat reporter
- attached input
- 2013-05-10T15:12:42+00:00
Broes De Cat reporter
Issue is related to which optimizations are enabled in the generators.
- 2013-10-02T15:55:55+00:00
Log in to comment

Assignee: Bart Bogaerts

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 1

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