Skip to content

fix(fixpoint): matchfix termination check must descend into all call arguments - #1144

Open
namasikanam wants to merge 1 commit into
mainfrom
fix/matchfix-sibling-arg-termination
Open

fix(fixpoint): matchfix termination check must descend into all call arguments#1144
namasikanam wants to merge 1 commit into
mainfrom
fix/matchfix-sibling-arg-termination

Commits

Commits on Sep 25, 2026