From f0c20546c3a67262c4e12cdf8432ce59ce28602a Mon Sep 17 00:00:00 2001 From: ZachJHansen Date: Wed, 21 Aug 2024 10:28:41 +0200 Subject: [PATCH] rename proof to prover --- src/command_line/procedures.rs | 2 +- src/verifying/mod.rs | 2 +- src/verifying/{proof => prover}/mod.rs | 0 src/verifying/{proof => prover}/vampire.rs | 2 +- 4 files changed, 3 insertions(+), 3 deletions(-) rename src/verifying/{proof => prover}/mod.rs (100%) rename src/verifying/{proof => prover}/vampire.rs (97%) diff --git a/src/command_line/procedures.rs b/src/command_line/procedures.rs index ff76ff66..815535f1 100644 --- a/src/command_line/procedures.rs +++ b/src/command_line/procedures.rs @@ -8,7 +8,7 @@ use { syntax_tree::{asp, fol, Node as _}, translating::{completion::completion, gamma::gamma, tau_star::tau_star}, verifying::{ - proof::{vampire::Vampire, Prover, Report, Status, Success}, + prover::{vampire::Vampire, Prover, Report, Status, Success}, task::{ external_equivalence::ExternalEquivalenceTask, strong_equivalence::StrongEquivalenceTask, Task, diff --git a/src/verifying/mod.rs b/src/verifying/mod.rs index bdc69b1e..5481f250 100644 --- a/src/verifying/mod.rs +++ b/src/verifying/mod.rs @@ -1,4 +1,4 @@ pub mod outline; pub mod problem; -pub mod proof; +pub mod prover; pub mod task; diff --git a/src/verifying/proof/mod.rs b/src/verifying/prover/mod.rs similarity index 100% rename from src/verifying/proof/mod.rs rename to src/verifying/prover/mod.rs diff --git a/src/verifying/proof/vampire.rs b/src/verifying/prover/vampire.rs similarity index 97% rename from src/verifying/proof/vampire.rs rename to src/verifying/prover/vampire.rs index f4519680..ad98a691 100644 --- a/src/verifying/proof/vampire.rs +++ b/src/verifying/prover/vampire.rs @@ -1,7 +1,7 @@ use { crate::verifying::{ problem::Problem, - proof::{Prover, Report, Status, StatusExtractionError}, + prover::{Prover, Report, Status, StatusExtractionError}, }, std::{ fmt::{self, Display},