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

Expose the verifier's counterexamples as structured CelWitness values

d4becf2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar