Skip to content

Widen Z3 verifier duration bounds to match google.protobuf.Duration. - #1436

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

Widen Z3 verifier duration bounds to match google.protobuf.Duration.#1436
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_1010948096

Commits

  1. Commits on Oct 31, 2026