core.logic

Two consecutive calls to run* return different results

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:

Description

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

  1. core.clj
    05/Mar/14 9:25 PM
    1 kB
    Mauro Lopes
  2. core.clj
    22/Feb/14 6:44 PM
    1 kB
    Mauro Lopes

Activity

Hide
Mauro Lopes added a comment - - edited

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.

Show
Mauro Lopes added a comment - - edited 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.
Hide
David Nolen added a comment -

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?

Show
David Nolen added a comment - 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?

People

Vote (0)
Watch (2)

Dates

  • Created:
    Updated: