Skip to content

Commit

Permalink
test: Run the test for zero division with mul div up
Browse files Browse the repository at this point in the history
  • Loading branch information
LHerskind committed Sep 11, 2023
1 parent dcc927c commit 6081c01
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions yarn-project/noir-libs/safe-math/src/safe_u120.nr
Original file line number Diff line number Diff line change
Expand Up @@ -261,10 +261,10 @@ fn test_mul_div_up_ghost_overflow() {
// since we otherwise would not be at the max value. If divisor is 1, adder is 0.

// See https://github.com/AztecProtocol/aztec-packages/issues/2000
//#[test(should_fail)]
//fn test_mul_div_up_zero_divisor() {
// let a = SafeU120::new(6);
// let b = SafeU120::new(3);
// let c = SafeU120::new(0);
// let _d = SafeU120::mul_div_up(a, b, c);
//}
#[test(should_fail)]
fn test_mul_div_up_zero_divisor() {
let a = SafeU120::new(6);
let b = SafeU120::new(3);
let c = SafeU120::new(0);
let _d = SafeU120::mul_div_up(a, b, c);
}

0 comments on commit 6081c01

Please sign in to comment.