krr / IDP / issues / #138 - Do the generators NEED to generate in Compare order? — Bitbucket

Issue #138 new

Bart Bogaerts created an issue 2012-03-29

TODO: brainstorm about the generators * Is there an invariant that guarantees that elementtuples are generated by the "Compare" ordering? Or is this invariant only for sorts? * Do we need such an invariant? * How to fix the uniongenerator? It shouldn't generate things double Should it generate by the ordering?

Comments (5)

Broes De Cat
- changed milestone to Later
- 2012-05-18T12:46:01+00:00
Broes De Cat
- changed title to Do the generators NEED to generate in Compare order?
- 2013-01-03T11:57:27+00:00
Broes De Cat
Issue ~~#232~~ was marked as a duplicate of this issue.
- 2013-01-04T18:07:16+00:00
Broes De Cat
This invariant is currently used in two places: the comparisongenerator expects sortTABLES to be generated in order (which is acceptable) the checkconsistency operation seems to rely on it.
- 2013-01-09T12:56:16+00:00
Broes De Cat
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:11+00:00
Log in to comment

Assignee: –

Type: task

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 1

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