Fix some comments

Author: celinval

kani-driver/src/main.rs

@@ -48,7 +48,7 @@ fn main() -> ExitCode {
 
     if let Err(error) = result {
         // We are using the debug format for now to print the all the context.
-        // We should consider create a standard for error reporting.
+        // We should consider creating a standard for error reporting.
         debug!(?error, "main_failure");
         util::error(&format!("{error:#}"));
         ExitCode::FAILURE

kani-driver/src/util.rs

@@ -88,14 +88,14 @@ pub fn specialized_harness_name(linked_obj: &Path, harness_filename: &str) -> Pa
     alter_extension(linked_obj, &format!("for-{harness_filename}.out"))
 }
 
-/// Print a warning message. This will add a "warning:" tag before the message and style accordinly.
+/// Print a warning message. This will add a "warning:" tag before the message and style accordingly.
 pub fn warning(msg: &str) {
     let warning = console::style("warning:").bold().yellow();
     let msg_fmt = console::style(msg).bold();
     println!("{warning} {msg_fmt}")
 }
 
-/// Print a warning message. This will add a "warning:" tag before the message and style accordinly.
+/// Print an error message. This will add an "error:" tag before the message and style accordingly.
 pub fn error(msg: &str) {
     let error = console::style("error:").bold().red();
     let msg_fmt = console::style(msg).bold();