Skip to content

fix(composition): Don't skip optional args in witness operations for satisfiability errors#8847

Merged
dariuszkuc merged 1 commit intodevfrom
sachin/dont-skip-optional-args-in-satisfiability-witness-ops
Jan 30, 2026
Merged

fix(composition): Don't skip optional args in witness operations for satisfiability errors#8847
dariuszkuc merged 1 commit intodevfrom
sachin/dont-skip-optional-args-in-satisfiability-witness-ops