klee: revision bump (z3 4.12.0)

Signed-off-by: Rui Chen <rui@chenrui.dev>
2023-01-14 16:02:19 -05:00 · 2023-01-14 16:02:19 -05:00 · e7916e7f97
parent 6e53bc07ab
commit e7916e7f97
1 changed files with 1 additions and 1 deletions
--- a/Formula/klee.rb
+++ b/Formula/klee.rb
@ -4,7 +4,7 @@ class Klee < Formula
  desc "Symbolic Execution Engine"
  homepage "https://klee.github.io/"
  license "NCSA"
-  revision 3
+  revision 4
  head "https://github.com/klee/klee.git", branch: "master"

  stable do