Skip to content

Expose the verifier's counterexamples as structured CelWitness values - #1391

Open
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_1004026905
Open

Expose the verifier's counterexamples as structured CelWitness values#1391
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_1004026905

Commits

  1. Commits on Oct 23, 2026