From 544c25ad042e99b87631677e3e3f38f8d641bbe0 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 18 Nov 2024 09:44:46 +0100
Subject: [PATCH] chore(tests): update Cargo.lock

---
 tests/Cargo.lock | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/tests/Cargo.lock b/tests/Cargo.lock
index 5fcbe4dc7..9118d5e31 100644
--- a/tests/Cargo.lock
+++ b/tests/Cargo.lock
@@ -42,6 +42,7 @@ dependencies = [
 name = "attributes"
 version = "0.1.0"
 dependencies = [
+ "hax-bounded-integers",
  "hax-lib",
  "serde",
 ]
@@ -227,6 +228,16 @@ dependencies = [
  "hax-lib",
 ]
 
+[[package]]
+name = "duplicate"
+version = "1.0.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "de78e66ac9061e030587b2a2e75cc88f22304913c907b11307bca737141230cb"
+dependencies = [
+ "heck",
+ "proc-macro-error",
+]
+
 [[package]]
 name = "dyn"
 version = "0.1.0"
@@ -318,6 +329,15 @@ version = "0.12.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8a9ee70c43aaf417c914396645a0fa852624801b24ebb7ae78fe8272889ac888"
 
+[[package]]
+name = "hax-bounded-integers"
+version = "0.1.0-alpha.1"
+dependencies = [
+ "duplicate",
+ "hax-lib",
+ "paste",
+]
+
 [[package]]
 name = "hax-lib"
 version = "0.1.0-alpha.1"
@@ -367,6 +387,12 @@ dependencies = [
  "syn 2.0.28",
 ]
 
+[[package]]
+name = "heck"
+version = "0.4.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "95505c38b4572b2d910cecb0281560f54b440a19336cbbcb27bf6ce6adc6f5a8"
+
 [[package]]
 name = "hermit-abi"
 version = "0.1.19"