krr / IDP / issues / #58 - Bug in generating all 2-valued models when there are arbitraries with bounds — Bitbucket

Issue #58 resolved

Broes De Cat created an issue 2011-12-13

See file arbitrarypartialfunctionwithct.idp

Comments (3)

Bart Bogaerts
- changed status to resolved
fixes bug 58 : arbitraries with cf-bounds

→ 1a5517dbace0
- 2011-12-14T06:46:47+00:00
Broes De Cat reporter
fixes bug 58 : arbitraries with cf-bounds

→ 1a5517dbace0
- 2012-01-17T14:23:39+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: First Release 25/12/2011 (automated comment)
- 2013-01-30T09:36:50+00:00
Log in to comment

Assignee: Bart Bogaerts

Type: bug

Priority: major

Status: resolved

Component: –

Version: 2.0

Votes: 0

Watchers: 1

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