Observable when looking at the trace_findall.json trace from the elpi test suite.
The goals under "More attempts" don't show the goal and clicking on them doesn't do anything.
The root cause is that when collecting destinations, the function tries to find the step in trace, which only has top-level steps.
Observable when looking at the
trace_findall.jsontrace from the elpi test suite.The goals under "More attempts" don't show the goal and clicking on them doesn't do anything.
The root cause is that when collecting destinations, the function tries to find the step in
trace, which only has top-level steps.