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
Attempting to solve using the -qi flag results in Conjure reporting a bug. Replicable across various essence files, including one of the tutorial examples, so doesn't seem to be related to the contents of the input file.
Error message (also displays a list of questions dependent on the model, possibly always finishing with the question Context #1: true(f)?):
strategyToDriver no Question
CallStack (from HasCallStack):
error, called at src/Conjure/Bug.hs:17:15 in conjure-cp-2.5.1-3ow97tapNr9FQhaVki9Yr3:Conjure.Bug
bug, called at src/Conjure/UI/Model.hs:526:34 in conjure-cp-2.5.1-3ow97tapNr9FQhaVki9Yr3:Conjure.UI.Model
The text was updated successfully, but these errors were encountered:
Attempting to solve using the
-qi
flag results in Conjure reporting a bug. Replicable across various essence files, including one of the tutorial examples, so doesn't seem to be related to the contents of the input file.Repo version:
03d6014e5 (2024-09-25 19:47:19 +0100)
Error message (also displays a list of questions dependent on the model, possibly always finishing with the question
Context #1: true(f)
?):The text was updated successfully, but these errors were encountered: