From f66900dc93475379ef270c97c160ca2e9957992d Mon Sep 17 00:00:00 2001
From: Fredrik Dahlgren <fredrik.dahlgren@trailofbits.com>
Date: Mon, 12 Sep 2022 22:24:12 +0200
Subject: [PATCH] Updated warning for binary conversion analysis pass

---
 program_analysis/src/nonstrict_binary_conversion.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/program_analysis/src/nonstrict_binary_conversion.rs b/program_analysis/src/nonstrict_binary_conversion.rs
index d67ca50..a0990de 100644
--- a/program_analysis/src/nonstrict_binary_conversion.rs
+++ b/program_analysis/src/nonstrict_binary_conversion.rs
@@ -29,14 +29,14 @@ impl NonStrictBinaryConversionWarning {
                     );
                 }
                 report.add_note(
-                    "Consider using `Num2Bits_strict` if the input may be 254 bits or larger."
+                    "Consider using `Num2Bits_strict` if the input size may be >= than the prime size."
                         .to_string(),
                 );
                 report
             }
             NonStrictBinaryConversionWarning::Bits2Num { file_id, location } => {
                 let mut report = Report::warning(
-                    "Using `Bits2Num` to convert arrays to field elements may lead to aliasing issues".to_string(),
+                    "Using `Bits2Num` to convert arrays to field elements may lead to aliasing issues.".to_string(),
                     ReportCode::NonStrictBinaryConversion,
                 );
                 if let Some(file_id) = file_id {
@@ -47,7 +47,7 @@ impl NonStrictBinaryConversionWarning {
                     );
                 }
                 report.add_note(
-                    "Consider using `Bits2Num_strict` if the input may be 254 bits or larger"
+                    "Consider using `Bits2Num_strict` if the input size may be >= than the prime size."
                         .to_string(),
                 );
                 report