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

Cleanup

Browse Source
This commit is contained in:
howardwu 2020-06-28 19:36:45 -07:00
parent a262622f60
commit c622b157f5
7 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
compiler/src/constraints/mod.rs
View File

@ -53,7 +53,6 @@ pub fn generate_constraints<F: Field + PrimeField, G: GroupType<F>, CS: Constrai
match main.clone() {
ConstrainedValue::Function(_circuit_identifier, function) => {
let result = resolved_program.enforce_main_function(cs, program_name, function, parameters)?;
log::debug!("{}", result);
Ok(result)
}
_ => Err(CompilerError::NoMainFunction),

4
leo/commands/build.rs
View File

@ -52,6 +52,8 @@ impl CLI for BuildCommand {
return Err(BuildError::MainFileDoesNotExist(package_path.as_os_str().to_owned()).into());
}
log::info!("Compiling...");
// Create the outputs directory
OutputsDirectory::create(&package_path)?;
@ -95,7 +97,7 @@ impl CLI for BuildCommand {
// Write the new checksum to the outputs directory
checksum_file.write_to(&path, program_checksum)?;
log::info!("Checksum saved ({:?})", path);
log::debug!("Checksum saved ({:?})", path);
}
log::info!("Compiled program ({:?})", main_file_path);

5
leo/commands/clean.rs
View File

@ -1,7 +1,6 @@
use crate::{
cli::*,
cli_types::*,
commands::BuildCommand,
errors::CLIError,
files::{ChecksumFile, Manifest, ProofFile, ProvingKeyFile, VerificationKeyFile},
};
@ -29,9 +28,7 @@ impl CLI for CleanCommand {
}
#[cfg_attr(tarpaulin, skip)]
fn output(options: Self::Options) -> Result<Self::Output, CLIError> {
let (_program, _checksum_differs) = BuildCommand::output(options)?;
fn output(_options: Self::Options) -> Result<Self::Output, CLIError> {
// Get the package name
let path = current_dir()?;
let package_name = Manifest::try_from(&path)?.get_package_name();

2
leo/commands/load.rs
View File

@ -30,7 +30,7 @@ impl CLI for LoadCommand {
let path = current_dir()?;
let _package_name = Manifest::try_from(&path)?.get_package_name();
log::info!("Unimplemented - `leo deploy`");
log::info!("Unimplemented - `leo load`");
Ok(())
}

2
leo/commands/prove.rs
View File

@ -40,6 +40,8 @@ impl CLI for ProveCommand {
let path = current_dir()?;
let package_name = Manifest::try_from(&path)?.get_package_name();
log::info!("Proving...");
// Fetch program inputs here
let inputs_string = InputsFile::new(&package_name).read_from(&path)?;
program.parse_inputs(&inputs_string)?;

2
leo/commands/unload.rs
View File

@ -30,7 +30,7 @@ impl CLI for UnloadCommand {
let path = current_dir()?;
let _package_name = Manifest::try_from(&path)?.get_package_name();
log::info!("Unimplemented - `leo deploy`");
log::info!("Unimplemented - `leo unload`");
Ok(())
}

2
leo/files/proof.rs
View File

@ -43,7 +43,7 @@ impl ProofFile {
let mut file = File::create(&path)?;
file.write_all(proof)?;
log::info!("Proof stored to {:?}", path);
log::info!("Proof stored ({:?})", path);
Ok(())
}