fmt

model-checking · Sep 27, 2024 · 2b924c2 · 2b924c2
1 parent eac417a
commit 2b924c2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/kani-driver/src/args/mod.rs b/kani-driver/src/args/mod.rs
@@ -939,7 +939,8 @@ mod tests {
 
     #[test]
     fn check_cbmc_args_aeneas_backend() {
-        let args = "kani input.rs -Z aeneas --enable-unstable --cbmc-args --object-bits 10".split_whitespace();
+        let args = "kani input.rs -Z aeneas --enable-unstable --cbmc-args --object-bits 10"
+            .split_whitespace();
         let err = StandaloneArgs::try_parse_from(args).unwrap().validate().unwrap_err();
         assert_eq!(err.kind(), ErrorKind::ArgumentConflict);
     }