From a853934adba457b3f473bd4cff277fe919f0ff82 Mon Sep 17 00:00:00 2001 From: schaeff Date: Wed, 30 Jan 2019 18:40:44 +0100 Subject: [PATCH] fix test --- zokrates_field/src/field.rs | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/zokrates_field/src/field.rs b/zokrates_field/src/field.rs index 8ce1ac81..92e3abda 100644 --- a/zokrates_field/src/field.rs +++ b/zokrates_field/src/field.rs @@ -628,25 +628,26 @@ mod tests { } #[test] - fn display() { + fn compact_representation() { let one = FieldPrime::from(1); - assert_eq!(String::from("1"), format!("{}", one)); + assert_eq!("1", &one.to_compact_dec_string()); let minus_one = FieldPrime::from(0) - one; - assert_eq!(String::from("(-1)"), format!("{}", minus_one)); + assert_eq!("(-1)", &minus_one.to_compact_dec_string()); // (p-1)/2 -> positive notation let p_minus_one_over_two = (FieldPrime::from(0) - FieldPrime::from(1)) / FieldPrime::from(2); assert_eq!( - String::from( - "10944121435919637611123202872628637544274182200208017171849102093287904247808" - ), - format!("{}", p_minus_one_over_two) + "10944121435919637611123202872628637544274182200208017171849102093287904247808", + &p_minus_one_over_two.to_compact_dec_string() ); // (p-1)/2 + 1 -> negative notation (p-1)/2 + 1 - p == (-p+1)/2 let p_minus_one_over_two_plus_one = ((FieldPrime::from(0) - FieldPrime::from(1)) / FieldPrime::from(2)) + FieldPrime::from(1); - assert_eq!(String::from("(-10944121435919637611123202872628637544274182200208017171849102093287904247808)"), format!("{}", p_minus_one_over_two_plus_one)); + assert_eq!( + "(-10944121435919637611123202872628637544274182200208017171849102093287904247808)", + &p_minus_one_over_two_plus_one.to_compact_dec_string() + ); } }