krr / IDP / issues / #181 - CP support should check whether the domains are not infinite. — Bitbucket

Issue #181 invalid

Broes De Cat created an issue 2012-06-04

Otherwise, the solverpolicy throws an exception (e.g. on the following file): ASSERT FAILED: domain->approxFinite() @ /media/data/documenten/kuldoctoraat/software/gidl2/src/groundtheories/SolverPolicy.cpp (229)

stolengold

Comments (2)

Broes De Cat reporter
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:51+00:00
Broes De Cat reporter
- changed status to invalid
Is not a bug, it should throw an error anyway because infinite domains cannot be handled.
- 2013-03-03T21:21:56+00:00
Log in to comment

Assignee: Stef De Pooter

Type: bug

Priority: minor

Status: invalid

Component: –

Version: –

Votes: 0

Watchers: 1

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