ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 01:01:53 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update span message

Browse Source
This commit is contained in:
howardwu 2020-09-03 02:54:43 -07:00
parent 788300ef93
commit 6c24c0697f
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
leo/commands/build.rs
View File

@ -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()?;

6
leo/commands/prove.rs
View File

@ -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