Repository navigation

Commit 04133e7

authored and

copybara-github

committed

Extract CelZ3ComprehensionTranslator from CelAstToZ3Translator

PiperOrigin-RevId: 1005256439

1 parent eeeb6dc commit 04133e7Copy full SHA for 04133e7

4 files changed

verifier/src/main/java/dev/cel/verifier

`‎verifier/src/main/java/dev/cel/verifier/BUILD.bazel‎`

-Original file line number
+Diff line change
         "CelAstAlphaHasher.java",
         "CelAstToZ3Translator.java",
         "CelVerifierZ3Impl.java",
 +        "CelZ3ComprehensionTranslator.java",
         "CelZ3CounterexampleGenerator.java",
         "CelZ3ExtensionalityAxioms.java",
         "CelZ3FunctionRegistry.java",

Comments

(0)