Skip to content

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

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_1004026905
Nov 2, 2026
Merged

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

Expose the verifier's counterexamples as structured CelWitness values

0149810
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar