krr / IDP / issues / #251 - Bug in product using cp — Bitbucket

Issue #251 resolved

Broes De Cat created an issue 2012-10-21

No description provided.

unsat-prod.idp

Comments (3)

Bart Bogaerts
Why is this a bug? The product of the empty set is one, hence we do not expect unsat.
- 2012-12-12T12:24:14+00:00
Bart Bogaerts
Mark as invalid?
- 2013-08-09T12:00:13+00:00
Broes De Cat reporter
- changed status to resolved
It used to be unsat incorrectly, but is currently correct, so resolved.
- 2013-08-10T18:01:18+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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