conjure icon indicating copy to clipboard operation
conjure copied to clipboard

Crashes modelling function as a relation

Open N-J-Martin opened this issue 6 months ago • 2 comments

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)

N-J-Martin avatar Aug 24 '24 14:08 N-J-Martin