Merge pull request #7 from trailofbits/dev/version-0.7.1

Fixed under-constrained warning message
trailofbits · Nov 29, 2022 · ac7bbe1 · ac7bbe1
2 parents 72d74e4 + eb6f99e
commit ac7bbe1
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 7 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/cli/Cargo.toml b/cli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "circomspect"
-version = "0.7.0"
+version = "0.7.1"
 edition = "2021"
 license = "LGPL-3.0-only"
 authors = ["Trail of Bits"]
@@ -16,7 +16,7 @@ clap = { version = "4.0", features = ["derive"] }
 log = "0.4"
 parser = { package = "circomspect-parser", version = "2.0.11", path = "../parser" }
 pretty_env_logger = "0.4"
-program_analysis = { package = "circomspect-program-analysis", version = "0.7.0", path = "../program_analysis" }
+program_analysis = { package = "circomspect-program-analysis", version = "0.7.1", path = "../program_analysis" }
 program_structure = { package = "circomspect-program-structure", version = "2.0.11", path = "../program_structure" }
 serde_json = "1.0"
 termcolor = "1.1"
diff --git a/program_analysis/Cargo.toml b/program_analysis/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "circomspect-program-analysis"
-version = "0.7.0"
+version = "0.7.1"
 edition = "2021"
 license = "LGPL-3.0-only"
 authors = ["Trail of Bits"]

diff --git a/program_analysis/src/under_constrained_signals.rs b/program_analysis/src/under_constrained_signals.rs
@@ -41,7 +41,8 @@ pub struct UnderConstrainedSignalWarning {
 impl UnderConstrainedSignalWarning {
     pub fn into_report(self) -> Report {
         let mut report = Report::warning(
-            "Intermediate signals should occur in at least two separate constraints.".to_string(),
+            "Intermediate signals should typically occur in at least two separate constraints."
+                .to_string(),
             ReportCode::UnderConstrainedSignal,
         );
         if let Some(file_id) = self.file_id {
@@ -56,7 +57,7 @@ impl UnderConstrainedSignalWarning {
                         secondary_location,
                         file_id,
                         Some(format!(
-                            "The intermediate signal `{}` are constrained here.",
+                            "The intermediate signal `{}` is constrained here.",
                             self.name
                         )),
                     );