Open wadoon opened 10 months ago
@unp1 I now call getMediator().nonGoalChosen(node)
with a valid node, but it is not selected. Where is the other place with the logic that the last node should be taken?
Attention: 42 lines
in your changes are missing coverage. Please review.
Comparison is base (
603b2ca
) 37.93% compared to head (66b0aa4
) 37.93%.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Alternative version for #3324 using the settings instead of storing it in the proof.
Using a path encoding of the current node (list of child indexes) and a run-length encoding to keep it small.
Missing: Finding the right spot where the
KeYUserProblemFile
is available and the proof is loaded. The current place is unsuitable.