template: the verifier's diff shows every edited line, unsafe diffs are refused, and skipped tests count as regressions - #48

template: the verifier's diff shows every edited line, unsafe diffs are refused, and skipped tests count as regressions#48

ArjunS07 merged 6 commits into

survey/phase1-template-shadow-conftestformula-code/datasmith:survey/phase1-template-shadow-conftestfrom

fix/verifier-hardeningformula-code/datasmith:fix/verifier-hardeningCopy head branch name to clipboard