From c7debbf514dfd6c33a2d651137f3b9f3ab7e94f9 Mon Sep 17 00:00:00 2001 From: secrethomefamily-sudo Date: Tue, 15 Sep 2026 13:13:00 -0600 Subject: [PATCH] Enhance README with overview of CLI and REPL tools Added a brief overview of the CEL Java Verifier's CLI and REPL tool functionalities. --- verifier/tools/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/verifier/tools/README.md b/verifier/tools/README.md index 71570ad39..cb62a3b27 100644 --- a/verifier/tools/README.md +++ b/verifier/tools/README.md @@ -1,5 +1,6 @@ # CEL Java Verifier CLI & Interactive REPL Tool + The CEL Java Verifier comes with a command-line tool (`cel-verifier`) and an interactive REPL shell for testing satisfiability, validity, equivalence, and policy invariants without writing Java code.