.

noir-lang · Jan 30, 2025 · 4bb3436 · 4bb3436
1 parent 9c6c358
commit 4bb3436
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test_programs/noir_test_success/regression_4080/src/main.nr b/test_programs/noir_test_success/regression_4080/src/main.nr
@@ -3,6 +3,6 @@
 
 #[test(should_fail_with = "attempt to add with overflow")]
 fn main() {
-    let var1: u8 = ((255 + 1) ^ (255 + 1)) - ((255 + 1) - (255 + 1));
-    assert_eq(var1, 0);
+    let var1: u8 = ((255 + 1) ^ (255 + 1) ^ (255 + 1));
+    assert_eq(var1 as Field, 256);
 }