Repository navigation

Print verifier counterexamples as CEL literals - #1399

Merged

copybara-service[bot] merged 1 commit into

mainfrom

test_1005088963

Oct 23, 2026

Merged

Print verifier counterexamples as CEL literals#1399
copybara-service[bot] merged 1 commit into
mainfrom
test_1005088963

Commits on Oct 23, 2026
- Print verifier counterexamples as CEL literals
  
  l46kok
  authored and
  copybara-github
  committed
  06bdd22