octagonal/picolog
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compiling

Browse Source
This commit is contained in:
Albin Chaboissier
2026-02-09 11:00:53 +01:00
parent b80077f3a7
commit bce33de71e
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/prover.rs
View File

@ -92,7 +92,7 @@ impl<'a, T: Tracer + 'a> BodyProver<'a, T>
{
let body_tracer = if let Body::And(_) = body
{
Some(tracer.begin_proof(ProofType::Body, format!("Proving {}", body)))
Some(tracer.begin_proof(ProofType::Body))
}
else
{
@ -145,7 +145,7 @@ impl<'a, T: Tracer + 'a> PredicateProver<'a, T>
//info!(target: "PredicateProver", "Proving {}", predicate);
PredicateProver {
module,
tracer: tracer.begin_proof(ProofType::Predicate, format!("Proving {}", &predicate)),
tracer: tracer.begin_proof(ProofType::Predicate),
predicate,
constraints,
current_clause: 0,

4
src/prover/tracing.rs
View File

@ -25,7 +25,7 @@ impl Display for ProofType
pub trait Tracer
{
fn begin_proof<T: Display>(&self, proof_type: ProofType) -> Self;
fn begin_proof(&self, proof_type: ProofType) -> Self;
fn print_step<T: Display>(&self, show: T);
fn end_proof(self);
}
@ -45,7 +45,7 @@ impl SimpleTracer
impl Tracer for SimpleTracer
{
fn begin_proof<T: Display>(&self, proof_type: ProofType) -> Self
fn begin_proof(&self, proof_type: ProofType) -> Self
{
SimpleTracer { proof_type }
}