Formatting. · model-checking/verify-rust-std@f72e4a9 (original) (raw)

Original file line number Diff line number Diff line change
@@ -768,7 +768,9 @@ fn rust_panic_with_hook(
768 768 // recursive panics. However if the message is just a string, no user-defined
769 769 // code is involved in printing it, so that is risk-free.
770 770 let message: &str = payload.as_str().unwrap_or_default();
771 -rtprintpanic!("panicked at {location}:\n{message}\nthread panicked while processing panic. aborting.\n");
771 +rtprintpanic!(
772 +"panicked at {location}:\n{message}\nthread panicked while processing panic. aborting.\n"
773 +);
772 774 }
773 775 panic_count::MustAbort::AlwaysAbort => {
774 776 // Unfortunately, this does not print a backtrace, because creating