Skip to content

Test that every (main) trace column is used in the constraints. - #670

Merged
liorgold2 merged 1 commit into
mainfrom
spr/main/210c8940
Jul 26, 2026
Merged

liorgold2 merged 1 commit into
mainfrom
spr/main/210c8940

Commits

  1. Commits on Jul 26, 2026