Broken IDE support for Python files
When backporting !659 (merged) and !684 (merged) to bugfix/v1.5
, I have encountered the following issue. When opening a python file, e.g., bin/why3 ide examples/python/even.py
, and selecting a verification condition, the following failure happens:
exception 'anomaly: Invalid_argument("(cannot open .../examples/python/even/even)")' was raised in a LablGtk callback.
This should not happen. Please report.
At this point, Why3 IDE becomes completely unresponsive.
The same issue exists on master
. The failure is as follows:
Error with scroll_to_loc to loc='".../examples/python/even/even", line 0, characters 0-0':
anomaly: Invalid_argument("(cannot open .../examples/python/even/even)")