CP Profiler doesn't show anything in IDE as of MiniZinc 2.6.2

MiniZinc / MiniZincIDE

The MiniZinc IDE

http://www.minizinc.org

Mozilla Public License 2.0

144 stars 22 forks source link

CP Profiler doesn't show anything in IDE as of MiniZinc 2.6.2 #160

Closed raphaelboudreault closed 2 years ago

raphaelboudreault commented 2 years ago

Hi, Testing with MiniZinc IDE 2.6.2 on Windows 10, the CP Profiler option doesn't show anything in the IDE window when running, using bundled versions of Gecode or Chuffed. Furthermore, there seems to be a visual bug with the top bar navigation options. See the following screenshot for a running example of CP Profiler with Chuffed.

Example