github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #156 from chriseth/clippy_on_tests

Browse Source 
Clippy on tests.
This commit is contained in:
chriseth
2023-04-07 11:21:26 +02:00
committed by GitHub
parent 513e16d09f 41ebcae63d
commit 52de5ea17b
1 changed files with 6 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
src/witness_generator/affine_expression.rs
View File

@@ -369,12 +369,8 @@ mod test {
assert_eq!(
-a,
AffineExpression {
coefficients: vec![
(get_field_mod() - 1u64).into(),
0.into(),
(get_field_mod() - 2u64).into()
],
offset: (get_field_mod() - 9u64).into(),
coefficients: vec![get_field_mod() - 1u64, 0.into(), get_field_mod() - 2u64,],
offset: get_field_mod() - 9u64,
},
);
}
@@ -401,25 +397,16 @@ mod test {
#[test]
pub fn mod_arith() {
assert_eq!(
pow(7.into(), 0.into(), get_goldilocks_mod().into()),
1.into()
);
assert_eq!(
pow(7.into(), 1.into(), get_goldilocks_mod().into()),
7.into()
);
assert_eq!(pow(7.into(), 0.into(), get_goldilocks_mod()), 1.into());
assert_eq!(pow(7.into(), 1.into(), get_goldilocks_mod()), 7.into());
assert_eq!(pow(7.into(), 0.into(), get_field_mod()), 1.into());
assert_eq!(pow(7.into(), 1.into(), get_field_mod()), 7.into());
assert_eq!(pow(7.into(), 2.into(), get_field_mod()), (7 * 7).into());
assert_eq!(inv(1.into(), get_field_mod().into()), 1.into());
assert_eq!(inv(1.into(), get_field_mod()), 1.into());
if get_field_mod() == get_goldilocks_mod() {
let inverse_of_four = 13835058052060938241u64;
assert_eq!(
inv(4.into(), get_field_mod().into()),
inverse_of_four.into()
);
assert_eq!(inv(4.into(), get_field_mod()), inverse_of_four.into());
assert_eq!(
(4u128 * inverse_of_four as u128)
% (get_field_mod().iter_u64_digits().next().unwrap() as u128),