some dummy additional code

noir-lang · Jan 13, 2025 · 02b619c · 02b619c
1 parent 3bc48d4
commit 02b619c
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/test_programs/execution_success/global_var_regression_simple/src/main.nr b/test_programs/execution_success/global_var_regression_simple/src/main.nr
@@ -11,6 +11,8 @@ fn main(x: Field, y: pub Field) {
     assert(x != y);
 
     dummy_again(x, y);
+    dummy_again(x, y);
+    dummy_again(x, y);
 }
 
 fn dummy_again(x: Field, y: Field) {

diff --git a/test_programs/execution_success/regression_4709/src/main.nr b/test_programs/execution_success/regression_4709/src/main.nr
@@ -3851,4 +3851,18 @@ fn main(x: Field, y: pub Field) {
     }
     assert(!acc.lt(x));
     assert(x != y);
+
+    dummy_again(x, y);
+}
+
+fn dummy_again(x: Field, y: Field) {
+    let mut acc: Field = 0;
+    for i in 0..257 {
+        for j in 0..257 {
+            acc += EXPONENTIATE[i][j];
+        }
+    }
+    assert(!acc.lt(x));
+    assert(x != y);
 }
+