Fixes a StackOverflowException when pretty printing taclets, which occurred
for instance while showing a tooltip of program with a modality and blocked
the subsequent taclet application.
Type of pull request
Bug fix (non-breaking change which fixes an issue)
Ensuring quality
Added a test that fails in the unfixed version (i.e., without this PR)
I have tested the feature as follows: Recreated the scenario where previously a StackOverflow happened
(selecting the loopscope taclet and pretty printing its taclet)
Additional information and contact(s)
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.
Related Issue
Intended Change
Fixes a StackOverflowException when pretty printing taclets, which occurred for instance while showing a tooltip of program with a modality and blocked the subsequent taclet application.
Type of pull request
Bug fix (non-breaking change which fixes an issue)
Ensuring quality
Additional information and contact(s)
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.