From b985de5c83ff54159a6681e9e95a1295914907fe Mon Sep 17 00:00:00 2001
From: Rostyslav Tyshko <tyshko.rostyslav@gmail.com>
Date: Mon, 18 Nov 2024 02:08:08 +0100
Subject: [PATCH] add execute_bigger_sum test

---
 zkvm/src/lib.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/zkvm/src/lib.rs b/zkvm/src/lib.rs
index 595991c..b53bfa1 100644
--- a/zkvm/src/lib.rs
+++ b/zkvm/src/lib.rs
@@ -101,4 +101,12 @@ mod tests {
         assert_eq!(result, message + message_2);
     }
 
+    #[test]
+    fn execute_bigger_sum() {
+        let message: u64 = 123476;
+        let message_2: u64 = 2342384;
+
+        let result = execute(vec![message, message_2], SUMMATION_ELF);
+        assert_eq!(result, message + message_2);
+    }
 }