From 7281f3b16d70db6591f4181d805b7e484e5a505e Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 15 Feb 2023 11:03:09 +0000
Subject: [PATCH] Bump z3-sys from 0.6.3 to 0.7.1 in /src/agent

Bumps [z3-sys](https://github.com/prove-rs/z3.rs) from 0.6.3 to 0.7.1.
- [Release notes](https://github.com/prove-rs/z3.rs/releases)
- [Commits](https://github.com/prove-rs/z3.rs/compare/z3-sys-v0.6.3...z3-sys-v0.7.1)

---
updated-dependencies:
- dependency-name: z3-sys
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 src/agent/Cargo.lock                   | 43 +++++++++++++++++++++++---
 src/agent/onefuzz-telemetry/Cargo.toml |  2 +-
 2 files changed, 40 insertions(+), 5 deletions(-)

diff --git a/src/agent/Cargo.lock b/src/agent/Cargo.lock
index bf4cf7cf3a..2a1e6efea3 100644
--- a/src/agent/Cargo.lock
+++ b/src/agent/Cargo.lock
@@ -264,6 +264,29 @@ dependencies = [
  "serde",
 ]
 
+[[package]]
+name = "bindgen"
+version = "0.58.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0f8523b410d7187a43085e7e064416ea32ded16bd0a4e6fc025e21616d01258f"
+dependencies = [
+ "bitflags",
+ "cexpr 0.4.0",
+ "clang-sys",
+ "clap 2.34.0",
+ "env_logger 0.8.4",
+ "lazy_static",
+ "lazycell",
+ "log",
+ "peeking_take_while",
+ "proc-macro2 1.0.47",
+ "quote 1.0.9",
+ "regex",
+ "rustc-hash",
+ "shlex",
+ "which",
+]
+
 [[package]]
 name = "bindgen"
 version = "0.59.1"
@@ -271,7 +294,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "453c49e5950bb0eb63bb3df640e31618846c89d5b7faa54040d76e98e0134375"
 dependencies = [
  "bitflags",
- "cexpr",
+ "cexpr 0.5.0",
  "clang-sys",
  "clap 2.34.0",
  "env_logger 0.8.4",
@@ -383,6 +406,15 @@ version = "1.0.70"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "d26a6ce4b6a484fa3edb70f7efa6fc430fd2b87285fe8b84304fd0936faa0dc0"
 
+[[package]]
+name = "cexpr"
+version = "0.4.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f4aedb84272dbe89af497cf81375129abda4fc0a9e7c5d317498c15cc30c0d27"
+dependencies = [
+ "nom 5.1.2",
+]
+
 [[package]]
 name = "cexpr"
 version = "0.5.0"
@@ -2608,7 +2640,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "a2f62c16ccc63ce2f590b17b8b9b33616f59631b8982ad52ed21e7f6d936c409"
 dependencies = [
  "anyhow",
- "bindgen",
+ "bindgen 0.59.1",
  "libc",
  "libproc",
  "mach2",
@@ -4331,9 +4363,12 @@ checksum = "09041cd90cf85f7f8b2df60c646f853b7f535ce68f85244eb6731cf89fa498ec"
 
 [[package]]
 name = "z3-sys"
-version = "0.6.3"
+version = "0.7.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "afa18ba5fbd4933e41ffb440c3fd91f91fe9cdb7310cce3ddfb6648563811de0"
+checksum = "1c82dcbc58be4bf1994c520066cb2bd6c3d36aed0fdc57244f34d277421986a6"
+dependencies = [
+ "bindgen 0.58.1",
+]
 
 [[package]]
 name = "zip"
diff --git a/src/agent/onefuzz-telemetry/Cargo.toml b/src/agent/onefuzz-telemetry/Cargo.toml
index e6668c1be2..30df53ec3c 100644
--- a/src/agent/onefuzz-telemetry/Cargo.toml
+++ b/src/agent/onefuzz-telemetry/Cargo.toml
@@ -16,7 +16,7 @@ appinsights = { version = "0.2.3" }
 log = "0.4"
 uuid = { version = "0.8", features = ["serde", "v4"] }
 serde = { version = "1.0", features = ["derive"] }
-z3-sys = { version = "0.6", optional = true}
+z3-sys = { version = "0.7", optional = true}
 iced-x86 = { version = "1.17", optional = true}
 tokio = { version = "1.24", features = ["full"] }
 lazy_static = "1.4"