remove keccak256 test additions and add size regression from issue #4535

test_programs/execution_success/brillig_loop_size_regression/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "brillig_loop_size_regression"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.33.0"
+
+[dependencies]

test_programs/execution_success/brillig_loop_size_regression/src/main.nr

@@ -0,0 +1,16 @@
+struct EnumEmulation {
+    a: Option<Field>,
+    b: Option<Field>,
+    c: Option<Field>,
+}
+
+unconstrained fn main() -> pub Field {
+    let mut emulated_enum = EnumEmulation { a: Option::some(1), b: Option::none(), c: Option::none() };
+
+    for _ in 0..1 {
+        assert_eq(emulated_enum.a.unwrap(), 1);
+    }
+
+    emulated_enum.a = Option::some(2);
+    emulated_enum.a.unwrap()
+}

test_programs/execution_success/keccak256/src/main.nr

@@ -17,25 +17,5 @@ fn main(x: Field, result: [u8; 32]) {
     let hash_c = std::hash::keccak256([1, 2, 3, 4, 0, 0, 0, 0], message_size_big);
 
     assert(hash_a != hash_c);
-
-    // DO NOT MERGE: The code below is a pure duplication of what comes above. 
-    // This is purely for testing the Brillig opcode report and should not be merged into master.
-
-    // We use the `as` keyword here to denote the fact that we want to take just the first byte from the x Field
-    // The padding is taken care of by the program
-    let digest = std::hash::keccak256([x as u8], 1);
-    assert(digest == result);
-
-    //#1399: variable message size
-    let message_size = 4;
-    let hash_a = std::hash::keccak256([1, 2, 3, 4], message_size);
-    let hash_b = std::hash::keccak256([1, 2, 3, 4, 0, 0, 0, 0], message_size);
-
-    assert(hash_a == hash_b);
-
-    let message_size_big = 8;
-    let hash_c = std::hash::keccak256([1, 2, 3, 4, 0, 0, 0, 0], message_size_big);
-
-    assert(hash_a != hash_c);
 }
 // docs:end:keccak256