krr / IDP / issues / #787 - Inconsistent empty set semantics — Bitbucket

Issue #787 new

Bart Bogaerts created an issue 2014-08-01

Tests related to empty sets are failing currently.

THis is because the semantics of empty sets (as implemented in the solver) does not correspond to the one used to verify solutions!

Should be made consistent!

Comments (7)

Ingmar Dasseville
can you give an example of both semantics?
- 2014-08-01T10:03:38+00:00
Bart Bogaerts reporter
Probably has something to do with one part of the system treating max of empty set as -\infty and other part of the system treating max as a partial function...

all test exectuables fail on emptyset.idp
- 2014-08-01T10:05:58+00:00
Bart Bogaerts reporter
temporary disabled empty set test. See #787. ONCE EMPTY SET SEMNAITCS IS OK... Should be put bakc!!!

→ <<cset 72becbbce586>>
- 2014-08-01T13:46:49+00:00
Broes De Cat
I think there are some duplicates of this issue.
- 2014-08-01T18:26:46+00:00
Joachim Jansen
temporary disabled empty set test. See #787. ONCE EMPTY SET SEMNAITCS IS OK... Should be put bakc!!!

→ <<cset 72becbbce586>>
- 2014-08-27T09:36:53+00:00
Bart Bogaerts reporter
Related disabled tests

https://bitbucket.org/krr/idp/commits/13a1865f1574
- 2014-11-19T18:21:02+00:00
Bart Bogaerts reporter
Issue ~~#851~~ was marked as a duplicate of this issue.
- 2014-11-19T18:21:13+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 4

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