From 5de99295e69667d75c072fcade66d46e1bcedca2 Mon Sep 17 00:00:00 2001
From: Rostyslav Tyshko <tyshko.rostyslav@gmail.com>
Date: Sun, 10 Nov 2024 02:12:37 +0100
Subject: [PATCH] add bigger_sum test

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

diff --git a/zkvm/src/lib.rs b/zkvm/src/lib.rs
index cef1864..de0aec2 100644
--- a/zkvm/src/lib.rs
+++ b/zkvm/src/lib.rs
@@ -46,4 +46,18 @@ mod tests {
             message + message_2
         );
     }
+
+    #[test]
+    fn bigger_sum() {
+        let message = 123476;
+        let message_2 = 2342384;
+    
+        let (digest, receipt) = prove(vec![message, message_2], SUMMATION_ELF);
+    
+        verify(receipt, SUMMATION_ID);
+        assert_eq!(
+            digest,
+            message + message_2
+        );
+    }
 }