Skip to content

fix(verifier): order the CodeTraceBench comparisons by code unit - #696

Merged
drewstone merged 1 commit into
mainfrom
fix/verifier-code-unit-ordering
Aug 22, 2026
Merged

fix(verifier): order the CodeTraceBench comparisons by code unit#696
drewstone merged 1 commit into
mainfrom
fix/verifier-code-unit-ordering

Commits

Commits on Aug 22, 2026