Skip to content

Improve EPC30 reliability: only warn on provably non-terminating recursion - #328

Merged
SergeyTeplyakov merged 2 commits into
masterfrom
sergeyteplyakov/recursivecallanalyzer-reliability
Jun 11, 2026
Merged

Improve EPC30 reliability: only warn on provably non-terminating recursion#328
SergeyTeplyakov merged 2 commits into
masterfrom
sergeyteplyakov/recursivecallanalyzer-reliability

Address PR review: fix doc comment, cover deconstruction mutation, al…

e588785
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar