From 63d60596f0560cb2c575cbe2936c256f6a721647 Mon Sep 17 00:00:00 2001
From: Rostyslav Tyshko <tyshko.rostyslav@gmail.com>
Date: Mon, 18 Nov 2024 02:07:57 +0100
Subject: [PATCH] add execute_simple_sum test

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

diff --git a/zkvm/src/lib.rs b/zkvm/src/lib.rs
index eddd4fc..595991c 100644
--- a/zkvm/src/lib.rs
+++ b/zkvm/src/lib.rs
@@ -91,4 +91,14 @@ mod tests {
         verify(receipt, MULTIPLICATION_ID);
         assert_eq!(digest, message * message_2);
     }
+
+    #[test]
+    fn execute_simple_sum() {
+        let message: u64 = 1;
+        let message_2: u64 = 2;
+
+        let result = execute(vec![message, message_2], SUMMATION_ELF);
+        assert_eq!(result, message + message_2);
+    }
+
 }