From 3035c35f3de47a132d2d760c041a723236ced91c Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Mon, 23 Sep 2024 14:40:31 +0200
Subject: Add property for evaluating numbers

---
 rust/Cargo.toml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'rust/Cargo.toml')

diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index be173f5..7aa1a6f 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -5,6 +5,9 @@ edition = "2021"
 
 [dependencies]
 
+[dev-dependencies]
+proptest = "1.0.0"
+
 [lib]
 name = "lambda"
 path = "src/lambda.rs"
-- 
cgit v1.2.3