Skip to content

Commit

Permalink
Updated warning for binary conversion analysis pass
Browse files Browse the repository at this point in the history
  • Loading branch information
fegge committed Sep 12, 2022
1 parent 3cdd3c3 commit f66900d
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions program_analysis/src/nonstrict_binary_conversion.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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 {
Expand All @@ -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
Expand Down

0 comments on commit f66900d

Please sign in to comment.