diff --git a/src/main.rs b/src/main.rs index ddfb38b..624f000 100644 --- a/src/main.rs +++ b/src/main.rs @@ -93,7 +93,7 @@ fn run_vampire(input: &str, arguments: Option) } return Err(ask_dracula::Error::new_run_vampire( - format!("Vampire returned unsuccessful exit code ({})\n\n======== stderr ========\n{}", output.status, std::str::from_utf8(&output.stdout).unwrap_or("(not valid UTF-8)").trim()))); + format!("Vampire returned unsuccessful exit code ({})\n\n======== stdout ========\n{}\n\n======== stderr ========\n{}", output.status, std::str::from_utf8(&output.stdout).unwrap_or("(not valid UTF-8)").trim(), std::str::from_utf8(&output.stderr).unwrap_or("(not valid UTF-8)").trim()))); } let refutation_regex = regex::Regex::new(r"% \(\d+\)Termination reason: Refutation").unwrap();