conjure
conjure copied to clipboard
Crashes modelling function as a relation
I tried to run conjure modelling --portfolio=10 essenceDir/modellingTest.essence
with modellingTest.essence containing
find y:function int(1..10) --> int(10..20)
find z:set of int(1..5)
The program crashed, producing the output in errormessage.txt
This might be related to when conjure ide --dump-representations
is run, y has 3 options:
{"name": "y",
"representations":
[{"answer": 1, "description": "function {Function1DPartial} int(1..10) --> int(10..20)"},
{"answer": 2, "description": "function {FunctionNDPartialDummy} int(1..10) --> int(10..20)"},
{"answer": 3, "description": "function {FunctionAsRelation[RelationAsMatrix]} int(1..10) --> int(10..20)"}]}
but whenconjure modelling
is run, only 2 options are permitted:
Answer 1: choose-repr: Choosing representation for y:
function {Function1DPartial} int(1..10) -->
int(10..20)
Answer 2: choose-repr: Choosing representation for y:
function {FunctionNDPartialDummy} int(1..10) -->
int(10..20)