From 3058a34eab5ec9bb7771df8953417022e6263915 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Mon, 17 Oct 2022 16:54:42 +0200
Subject: [PATCH] created encryptionOperationTest in why2-test

---
 src/lib/test/main.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/lib/test/main.c b/src/lib/test/main.c
index 9c5418d..68613a0 100644
--- a/src/lib/test/main.c
+++ b/src/lib/test/main.c
@@ -4,6 +4,11 @@
 
 #include <why2.h>
 
+int encryptionOperationTest(int text, int encryptedText)
+{
+    return text ^ encryptedText;
+}
+
 int main(void)
 {
     //VARIABLES