Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Finite Domains - Two consecutive calls to run* return different results

Description

Calling run* twice with the same input may return different results for no apparent reason.
See attachment.

Environment

None

Attachments

1

Activity

Show:

David Nolen March 10, 2015 at 8:49 PM

This issue is likely related to LOGIC-162

MauroL March 6, 2014 at 3:25 AM

Sure. I have just added a new code version with finite domains assigned to each variable that is involved in an fd operation. The problem persists.

David Nolen March 5, 2014 at 3:19 PM

The problematic code incorrectly uses finite domain operations on fresh variables that have not be assigned domains. Can we get an updated version of the problematic code that demonstrate the issue after the corrections?

Details

Assignee

Reporter

Priority

Created February 23, 2014 at 12:44 AM
Updated March 10, 2015 at 8:49 PM