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

259a53c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar