Merge pull request #384 from CoinFabrik/382-fix-overflow-check-detector

Fix `overflow-check` detector
CoinFabrik · Nov 7, 2024 · 4b341f0 · 4b341f0
2 parents afbe76a + 446236f
commit 4b341f0
Show file tree

Hide file tree

Showing 6 changed files with 3,035 additions and 21 deletions.
diff --git a/test-cases/Cargo.lock b/test-cases/Cargo.lock
diff --git a/test-cases/Cargo.toml b/test-cases/Cargo.toml
@@ -1,5 +1,5 @@
 [workspace]
-exclude = [".cargo", "soroban-version", "target"]
+exclude = [".cargo", "soroban-version", "target", "overflow-check"]
 members = ["*/*/remediated-example", "*/*/vulnerable-example"]
 resolver = "2"