Add stderr to error output

This commit is contained in:
Patrick Lühne 2019-11-02 07:54:39 +01:00
parent 0d63e48af9
commit cc56c493f6
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions

View File

@ -93,7 +93,7 @@ fn run_vampire<I, S>(input: &str, arguments: Option<I>)
}
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();