Skip to content

Endless resolution recursionv – fix#245

Draft
SE-FDr wants to merge 2 commits intodevfrom
endless-resolution-recursion
Draft

Endless resolution recursionv – fix#245
SE-FDr wants to merge 2 commits intodevfrom
endless-resolution-recursion

Conversation

@SE-FDr
Copy link
Contributor

@SE-FDr SE-FDr commented Feb 10, 2026

No description provided.

@github-actions
Copy link

✔️ Changes pass the MontiVerse

Project Status
details
Project Status
montiarc
umlp_experiments
umlp_tool
sd
montifun
fd
automaton
sc
guidsl
artifacts
ocl
od
ucd
langexperiments
json
xml
cd2gui
mlc
cd4analysis
monticore_basic

The MontiVerse is a collection of (internal and public) language projects.

@schmalzing schmalzing assigned schmalzing and SE-FDr and unassigned schmalzing Feb 10, 2026
@schmalzing schmalzing self-requested a review February 10, 2026 09:40
Copy link
Member

@schmalzing schmalzing left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add regression tests to prevent reintroducing degeneration issues, such as a test case that previously triggered infinite recursion but now terminates successfully.

@schmalzing schmalzing added the bug label Feb 10, 2026
@SE-FDr SE-FDr marked this pull request as draft February 10, 2026 16:09
@SE-FDr
Copy link
Contributor Author

SE-FDr commented Feb 10, 2026

converted to draft to extend the implementation to fix another issue first, as that allows for easier test implementation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants