mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-28 01:01:53 +03:00
commit
60ea14d433
@ -56,7 +56,7 @@ impl CLI for BuildCommand {
|
|||||||
#[cfg_attr(tarpaulin, skip)]
|
#[cfg_attr(tarpaulin, skip)]
|
||||||
fn output(_options: Self::Options) -> Result<Self::Output, CLIError> {
|
fn output(_options: Self::Options) -> Result<Self::Output, CLIError> {
|
||||||
// Begin "Compiling" context for console logging
|
// Begin "Compiling" context for console logging
|
||||||
let span = tracing::span!(tracing::Level::INFO, "Compiler");
|
let span = tracing::span!(tracing::Level::INFO, "Compiling");
|
||||||
let enter = span.enter();
|
let enter = span.enter();
|
||||||
|
|
||||||
let path = current_dir()?;
|
let path = current_dir()?;
|
||||||
|
@ -48,8 +48,8 @@ impl CLI for ProveCommand {
|
|||||||
fn output(options: Self::Options) -> Result<Self::Output, CLIError> {
|
fn output(options: Self::Options) -> Result<Self::Output, CLIError> {
|
||||||
let (program, parameters, prepared_verifying_key) = SetupCommand::output(options)?;
|
let (program, parameters, prepared_verifying_key) = SetupCommand::output(options)?;
|
||||||
|
|
||||||
// Begin "Prover" context for console logging
|
// Begin "Proving" context for console logging
|
||||||
let span = tracing::span!(tracing::Level::INFO, "Prover");
|
let span = tracing::span!(tracing::Level::INFO, "Proving");
|
||||||
let enter = span.enter();
|
let enter = span.enter();
|
||||||
|
|
||||||
// Get the package name
|
// Get the package name
|
||||||
@ -72,7 +72,7 @@ impl CLI for ProveCommand {
|
|||||||
program_proof.write(&mut proof)?;
|
program_proof.write(&mut proof)?;
|
||||||
ProofFile::new(&package_name).write_to(&path, &proof)?;
|
ProofFile::new(&package_name).write_to(&path, &proof)?;
|
||||||
|
|
||||||
// Drop "Prover" context for console logging
|
// Drop "Proving" context for console logging
|
||||||
drop(enter);
|
drop(enter);
|
||||||
|
|
||||||
// Begin "Done" context for console logging
|
// Begin "Done" context for console logging
|
||||||
|
Loading…
Reference in New Issue
Block a user