From 286063a144aecb374a03684fecc9cceb7222bec0 Mon Sep 17 00:00:00 2001
From: guipublic <guipublic@gmail.com>
Date: Thu, 7 Mar 2024 17:31:43 +0000
Subject: [PATCH 1/2] add regression test for issue 4449

---
 .../execution_success/regression_4449/Nargo.toml   |  6 ++++++
 .../execution_success/regression_4449/Prover.toml  |  3 +++
 .../execution_success/regression_4449/src/main.nr  | 14 ++++++++++++++
 3 files changed, 23 insertions(+)
 create mode 100644 test_programs/execution_success/regression_4449/Nargo.toml
 create mode 100644 test_programs/execution_success/regression_4449/Prover.toml
 create mode 100644 test_programs/execution_success/regression_4449/src/main.nr

diff --git a/test_programs/execution_success/regression_4449/Nargo.toml b/test_programs/execution_success/regression_4449/Nargo.toml
new file mode 100644
index 00000000000..925420a03a8
--- /dev/null
+++ b/test_programs/execution_success/regression_4449/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "regression_4449"
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/execution_success/regression_4449/Prover.toml b/test_programs/execution_success/regression_4449/Prover.toml
new file mode 100644
index 00000000000..81af476bcc9
--- /dev/null
+++ b/test_programs/execution_success/regression_4449/Prover.toml
@@ -0,0 +1,3 @@
+
+x = 0xbd
+result = [204, 59, 83, 197, 18, 1, 128, 43, 247, 28, 104, 225, 106, 13, 20, 187, 42, 26, 67, 150, 48, 75, 238, 168, 121, 247, 142, 160, 71, 222, 97, 188]
\ No newline at end of file
diff --git a/test_programs/execution_success/regression_4449/src/main.nr b/test_programs/execution_success/regression_4449/src/main.nr
new file mode 100644
index 00000000000..628708388c0
--- /dev/null
+++ b/test_programs/execution_success/regression_4449/src/main.nr
@@ -0,0 +1,14 @@
+// Regression test for issue #4449
+use dep::std;
+
+fn main(x: u8, result: [u8; 32]) {
+    let x = x % 31;
+    let mut digest = [0;32];
+    for i in 0..70 {
+        let y = x+i;
+        let a = [y, x, 32, 0, y + 1, y - 1, y - 2, 5];
+        digest = std::sha256::digest(a);
+    }
+
+   assert(digest == result);
+}

From 296e9fad6f0606fac6c92af36581d0f6f0d7f269 Mon Sep 17 00:00:00 2001
From: guipublic <guipublic@gmail.com>
Date: Thu, 7 Mar 2024 18:27:23 +0000
Subject: [PATCH 2/2] format

---
 test_programs/execution_success/regression_4449/src/main.nr | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/test_programs/execution_success/regression_4449/src/main.nr b/test_programs/execution_success/regression_4449/src/main.nr
index 628708388c0..454a93f5d1a 100644
--- a/test_programs/execution_success/regression_4449/src/main.nr
+++ b/test_programs/execution_success/regression_4449/src/main.nr
@@ -3,12 +3,12 @@ use dep::std;
 
 fn main(x: u8, result: [u8; 32]) {
     let x = x % 31;
-    let mut digest = [0;32];
+    let mut digest = [0; 32];
     for i in 0..70 {
-        let y = x+i;
+        let y = x + i;
         let a = [y, x, 32, 0, y + 1, y - 1, y - 2, 5];
         digest = std::sha256::digest(a);
     }
 
-   assert(digest == result);
+    assert(digest == result);
 }