<< Back to previous view

[LOGIC-156] Finite Domains - Two consecutive calls to run* return different results Created: 22/Feb/14  Updated: 10/Mar/15

Status: Open
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: Mauro Lopes Assignee: David Nolen
Resolution: Unresolved Votes: 0
Labels: bug

Attachments: File core.clj     File core.clj    


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

Comment by David Nolen [ 05/Mar/14 9:19 AM ]

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?

Comment by Mauro Lopes [ 05/Mar/14 9:25 PM ]

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.

Comment by David Nolen [ 10/Mar/15 2:49 PM ]

This issue is likely related to LOGIC-162

Generated at Wed Jan 17 14:30:28 CST 2018 using JIRA 4.4#649-r158309.