cargo fmt

Author: landaire

src/machine.rs

@@ -293,7 +293,7 @@ pub struct Evaluator<'mir, 'tcx> {
     string_cache: FxHashMap<String, measureme::StringId>,
 
     /// Whether to raise a panic in the context of the evaluated process when unsupported
-    /// functionality is encountered. If `false`, an error is propagated in the Miri application context 
+    /// functionality is encountered. If `false`, an error is propagated in the Miri application context
     /// instead (default behavior)
     pub(crate) panic_on_unsupported: bool,
 }

src/shims/posix/linux/foreign_items.rs

@@ -183,7 +183,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                         futex(this, args, dest)?;
                     }
                     id => {
-                        let error_msg = format!("unsupported Miri functionality: syscall ID {} is not emulated", id);
+                        let error_msg = format!(
+                            "unsupported Miri functionality: syscall ID {} is not emulated",
+                            id
+                        );
                         if this.eval_context_ref().machine.panic_on_unsupported {
                             // message is slightly different here to make automated analysis easier
                             this.start_panic(error_msg.as_ref(), StackPopUnwind::NotAllowed)?;
@@ -224,7 +227,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             }
 
             _ => {
-                let error_msg = format!("unsupported Miri functionality: can't call foreign function {:?}", link_name);
+                let error_msg = format!(
+                    "unsupported Miri functionality: can't call foreign function {:?}",
+                    link_name
+                );
                 if this.eval_context_ref().machine.panic_on_unsupported {
                     // message is slightly different here to make automated analysis easier
                     this.start_panic(error_msg.as_ref(), StackPopUnwind::NotAllowed)?;

src/shims/posix/macos/foreign_items.rs

@@ -157,7 +157,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             }
 
             _ => {
-                let error_msg  = format!("unsupported Miri functionality: can't call foreign function {:?}", link_name);
+                let error_msg = format!(
+                    "unsupported Miri functionality: can't call foreign function {:?}",
+                    link_name
+                );
                 if this.eval_context_ref().machine.panic_on_unsupported {
                     // message is slightly different here to make automated analysis easier
                     this.start_panic(error_msg.as_ref(), StackPopUnwind::NotAllowed)?;

src/shims/windows/foreign_items.rs

@@ -343,7 +343,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             "CreateThread" => {
                 check_abi(abi, Abi::System { unwind: false })?;
 
-                let error_msg = "unsupported Miri functionality: concurrency is not supported on Windows";
+                let error_msg =
+                    "unsupported Miri functionality: concurrency is not supported on Windows";
                 if this.eval_context_ref().machine.panic_on_unsupported {
                     this.start_panic(error_msg, StackPopUnwind::NotAllowed)?;
                     return Ok(false);
@@ -423,7 +424,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             }
 
             _ => {
-                let error_msg = format!("unsupported Miri functionality: can't call foreign function {:?}", link_name);
+                let error_msg = format!(
+                    "unsupported Miri functionality: can't call foreign function {:?}",
+                    link_name
+                );
                 if this.eval_context_ref().machine.panic_on_unsupported {
                     // message is slightly different here to make automated analysis easier
                     this.start_panic(error_msg.as_ref(), StackPopUnwind::NotAllowed)?;