Using output sections outputs both all decision variables, as well as sections

[CervEdin]

Following up on the issue I posted about using output-sections in issue #712

My understand from reading --help

  --only-sections <section_1,...section_n>
    Enable only the given comma-separated output sections.
  --not-sections <section_1,...section_n>
    Disable the given comma-separated output sections.

and the section on annotations

one should be able to annotate output like this

model.mzn

var int: x;

output :: "hello"  ["Hello\n"] ;
output :: "world" ["World\n"];

and then compile and run the model like this

echo "Both hello/world" >&2 &&
  minizinc --solver chuffed model.mzn
echo "Only hello" >&2 &&
  minizinc --solver chuffed --only-sections hello model.mzn
echo "Not hello" >&2 &&
  minizinc --solver chuffed --not-sections hello model.mzn

this results in the expected output, as well as printing all the decision variables

x = -500000000;
Hello
World
----------
x = -500000000;
Hello
----------
x = -500000000;
World
----------

It seems that as soon as one annotates an output statement, MiniZinc it has the same effectively as setting --output-mode dzn as well as using the output statements.

This was encountered running
MiniZinc to FlatZinc converter, version 2.6.4, build 570825159
Copyright (C) 2014-2022 Monash University, NICTA, Data61

[CervEdin]

Thank you!