Skip to content

fix: report the diagnostics pyval was swallowing (evaluation errors, disjunctions, metrics, --track) - #4

Open
ghostfix-pm wants to merge 9 commits into
SPL-BGU:mainfrom
ghostfix-pm:fix/honest-diagnostics
Open

fix: report the diagnostics pyval was swallowing (evaluation errors, disjunctions, metrics, --track)#4
ghostfix-pm wants to merge 9 commits into
SPL-BGU:mainfrom
ghostfix-pm:fix/honest-diagnostics

Commits

  1. Commits on Nov 9, 2026