chore: refactor backtrace formatting · model-checking/verify-rust-std@2614bd2 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit 2614bd2

chore: refactor backtrace formatting

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -500,13 +500,8 @@ where
500 500 }
501 501
502 502 if self.show_backtrace {
503 -let backtrace = self.backtrace();
504 -
505 -if let Some(backtrace) = backtrace {
506 -let backtrace = backtrace.to_string();
507 -
508 - f.write_str("\n\nStack backtrace:\n")?;
509 - f.write_str(backtrace.trim_end())?;
503 +if let Some(backtrace) = self.backtrace() {
504 +write!(f, "\n\nStack backtrace:\n{}", backtrace.to_string().trim_end())?;
510 505 }
511 506 }
512 507