You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
CallStack (from HasCallStack):
error, called at src/Conjure/Bug.hs:21:15 in conjure-cp-2.3.0-GQDS46mwjojDWjiy4bYgFI:Conjure.Bug
bug, called at src/Conjure/UI/Model.hs:1015:26 in conjure-cp-2.3.0-GQDS46mwjojDWjiy4bYgFI:Conjure.UI.Model
The text was updated successfully, but these errors were encountered:
Generating models for test.essence
conjure: This should never happen, sorry!
However, it did happen, so it must be a bug. Please report it to us!
Conjure is actively maintained, we will get back to you as soon as possible.
You can help us by providing a minimal failing example.
Also include the repository version for this build: ce73d3b (2020-10-23 08:43:31 +0100)
Issue tracker: http://github.com/conjure-cp/conjure/issues
Not refined: s_ExplicitBounded_Values
Domain : matrix indexed by [int(1..5)] of (int(1..5), int(1..5))
Context #1: s_ExplicitBounded_Values[q3]
Context #2: [s_ExplicitBounded_Values[q3] | q3 : int(1..5), q3 <= 5]
Context #3: allDiff([s_ExplicitBounded_Values[q3] | q3 : int(1..5), q3 <= 5])
CallStack (from HasCallStack):
error, called at src/Conjure/Bug.hs:21:15 in conjure-cp-2.3.0-GQDS46mwjojDWjiy4bYgFI:Conjure.Bug
bug, called at src/Conjure/UI/Model.hs:1015:26 in conjure-cp-2.3.0-GQDS46mwjojDWjiy4bYgFI:Conjure.UI.Model
The text was updated successfully, but these errors were encountered: