From df0aeb64ca804eb74c1f7f002333ba7659961ea9 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 27 Jan 2025 23:16:57 +0000
Subject: [PATCH 1/2] build(deps): update rand requirement from 0.8 to 0.9

Updates the requirements on [rand](https://github.com/rust-random/rand) to permit the latest version.
- [Release notes](https://github.com/rust-random/rand/releases)
- [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-random/rand/compare/0.8.0...0.9.0)

---
updated-dependencies:
- dependency-name: rand
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 5b018f1..d4ff2e9 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -27,7 +27,7 @@ zip = { version = "2.2", optional = true, default-features = false, features = [
 proptest = "1"
 proptest-derive = "0.5"
 walkdir = "2"
-rand = "0.8"
+rand = "0.9"
 rayon = "1"
 
 [build-dependencies]

From 0c6c9223c449f22356ce6b839899d01ffeff50c7 Mon Sep 17 00:00:00 2001
From: Henry Chu <henrytech@outlook.com>
Date: Tue, 28 Jan 2025 22:31:48 +0800
Subject: [PATCH 2/2] build(deps): cope with rand 0.9

---
 src/ir/control_flow/path_condition/mod.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/ir/control_flow/path_condition/mod.rs b/src/ir/control_flow/path_condition/mod.rs
index cb39f74..9da3d99 100644
--- a/src/ir/control_flow/path_condition/mod.rs
+++ b/src/ir/control_flow/path_condition/mod.rs
@@ -270,13 +270,12 @@ mod test {
     }
 
     fn generate_pred_values(cond: &PathCondition<TestPredicate>) -> HashMap<u32, bool> {
-        let mut rng = rand::thread_rng();
         cond.products
             .iter()
             .flat_map(|it| it.0.iter())
             .map(|it| it.0)
             .dedup()
-            .map(|it| (it, rng.gen::<bool>()))
+            .map(|it| (it, rand::random()))
             .collect()
     }