patrick
/
ask-dracula-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Improve output

This commit is contained in:
Patrick Lühne 2019-11-06 22:43:22 -06:00
parent 2411781728
commit 2d7f9db378
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main.rs
View File

@ -170,7 +170,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>>
}, },
Some(ref conjecture) => Some(ref conjecture) =>
{ {
eprintln!("verifying assertion: {}", conjecture.formula); eprintln!("verifying {}: {}", &conjecture.kind, conjecture.formula);
let tptp_content = format!("{}", ask_dracula::format_tptp::display_project_with_conjecture_tptp(&project, conjecture, proof_direction)); let tptp_content = format!("{}", ask_dracula::format_tptp::display_project_with_conjecture_tptp(&project, conjecture, proof_direction));
@ -191,7 +191,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>>
{ {
if let Some(proof_time) = proof_time if let Some(proof_time) = proof_time
{ {
println!("assertion proven in {} seconds", proof_time); println!("{} proven in {} seconds", &conjecture.kind, proof_time);
} }
else else
{ {