krr / IDP / issues / #127 - deriveTermBounds cause segfault — Bitbucket

Issue #127 invalid

Broes De Cat created an issue 2012-03-20

NULL is derived for some bound and passed as a argument to a function application

derivertermboundsbug.idp

Comments (1)

Broes De Cat reporter
- changed status to invalid
Should fail, as the equality s=a forces int to be derived.
- 2012-05-15T07:57:56+00:00
Log in to comment

Assignee: Stef De Pooter

Type: bug

Priority: major

Status: invalid

Component: –

Version: –

Votes: 0

Watchers: 1

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