Aurel300 · Aurel300 · Oct 3, 2025 · Sep 19, 2025 · Sep 20, 2025 · Sep 20, 2025
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/pcg b/pcg
diff --git a/prusti-encoder/Cargo.toml b/prusti-encoder/Cargo.toml
@@ -9,6 +9,7 @@ doctest = false # we have no doc tests
 
 [dependencies]
 cfg-if = "1.0.0"
+itertools = "0.14.0"
 prusti-rustc-interface = { path = "../prusti-rustc-interface" }
 prusti-interface = { path = "../prusti-interface" }
 prusti-utils = { path = "../prusti-utils" }
@@ -18,6 +19,8 @@ task-encoder = { path = "../task-encoder" }
 vir = { path = "../vir" }
 tracing = { path = "../tracing" }
 
+backtrace-on-stack-overflow = { git = "https://github.com/Pistonight/backtrace-on-stack-overflow", branch = "feature/limit_stack_size" }
+
 [package.metadata.rust-analyzer]
 # This crate uses #[feature(rustc_private)]
 rustc_private = true