Clippy fixes.

model-checking · Jan 7, 2025 · 47ca3ca · 47ca3ca
1 parent d2a9f06
commit 47ca3ca
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 6 deletions.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/function.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/function.rs
@@ -262,8 +262,7 @@ pub mod rustc_smir {
                 let file = source_map.lookup_source_file(cov_info.body_span.lo());
                 if term == coverage {
                     return Some((
-                        make_source_region(source_map, cov_info, &file, mapping.span)
-                            .unwrap(),
+                        make_source_region(source_map, cov_info, &file, mapping.span).unwrap(),
                         rustc_internal::stable(cov_info.body_span).get_filename(),
                     ));
                 }

diff --git a/tools/compiletest/src/main.rs b/tools/compiletest/src/main.rs
@@ -147,10 +147,9 @@ pub fn parse_config(args: Vec<String>) -> Config {
     let run_ignored = matches.opt_present("ignored");
     let mode = matches.opt_str("mode").unwrap().parse().expect("invalid mode");
     let timeout = matches.opt_str("timeout").map(|val| {
-        Duration::from_secs(
-            u64::from_str(&val)
-                .expect(&format!("Unexpected timeout format. Expected a positive number but found {val}")),
-        )
+        Duration::from_secs(u64::from_str(&val).expect(&format!(
+            "Unexpected timeout format. Expected a positive number but found {val}"
+        )))
     });
 
     Config {