Pass formatting and clippy

model-checking · Jun 12, 2024 · 87b55f1 · 87b55f1
1 parent ab8a4a2
commit 87b55f1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/kani-compiler/src/kani_middle/transform/check_uninit/ty_layout.rs b/kani-compiler/src/kani_middle/transform/check_uninit/ty_layout.rs
@@ -37,7 +37,9 @@ impl TypeLayout {
                     size: match ty.layout().unwrap().shape().fields {
                         FieldsShape::Array { stride, count } if count == 0 => stride,
                         _ => {
-                            return Err(format!("Unsupported DST for invalid memory check: `{ty}`"));
+                            return Err(format!(
+                                "Unsupported DST for invalid memory check: `{ty}`"
+                            ));
                         }
                     },
                 };

diff --git a/library/kani/src/shadow.rs b/library/kani/src/shadow.rs
@@ -107,7 +107,7 @@ pub fn global_sm_get<const N: usize>(ptr: *const (), layout: [bool; N], n: usize
         }
         count += 1;
     }
-    return true;
+    true
 }
 
 // Set initialization setate to `value` for `n` items laid out according to the `layout` starting at address `ptr`.
-Original file line number
+Diff line change
@@ Expand Up @@
             }
             count += 1;
         }
-        return true;
+        true
     }
     // Set initialization setate to `value` for `n` items laid out according to the `layout` starting at address `ptr`.
@@ Expand Down @@