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
enum e = { A };
array[int] of e: As = [ A ];
record( array[int] of e: as ): foo = (as: As);
output [
showJSON(foo), "\n",
showJSON(As),
];
Expected output
{"as": [{"e":"A"}]}
[{"e":"A"}]
----------
Actual output
{"as": [1]}
[{"e":"A"}]
----------
I expected that the array[int] of e, inside the record, would be encoded as a array[int] of e
instead it's encoded as an array[int] of int.
Thinking this is maybe a bug.
This was observed in
MiniZinc to FlatZinc converter, version 2.7.6, build 905165378
running on
Ubuntu 22.04.3 LTS
Linux 5.15.133.1-microsoft-standard-WSL2
The text was updated successfully, but these errors were encountered:
Given the following
model.mzn
Expected output
Actual output
I expected that the
array[int] of e
, inside therecord
, would be encoded as aarray[int] of e
instead it's encoded as an
array[int] of int
.Thinking this is maybe a bug.
This was observed in
running on
The text was updated successfully, but these errors were encountered: