Skip to content

Commit

Permalink
mark test as expected failure w/ linked issue, cargo clippy
Browse files Browse the repository at this point in the history
  • Loading branch information
michaeljklein committed Jul 30, 2024
1 parent 7f3c15a commit 5797c70
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion acvm-repo/acvm/tests/solver.rs
Original file line number Diff line number Diff line change
Expand Up @@ -841,7 +841,7 @@ prop_compose! {
}

fn field_element_ones() -> FieldElement {
let exponent: FieldElement = (253 as u128).into();
let exponent: FieldElement = (253_u128).into();
FieldElement::from(2u128).pow(&exponent) - FieldElement::one()
}

Expand All @@ -866,6 +866,8 @@ proptest! {
}

#[test]
// TODO(https://github.com/noir-lang/noir/issues/5638)
#[should_panic(expected = "assertion failed: `(left == right)`")]
fn xor_associative(x in field_element(), y in field_element(), z in field_element(), use_constant_xy: bool, use_constant_yz: bool) {
let (lhs, rhs) = prop_assert_associative(xor_op, x, y, z, use_constant_xy, use_constant_yz);
prop_assert_eq!(lhs, rhs);
Expand Down

0 comments on commit 5797c70

Please sign in to comment.