Restructure tests

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "helm"
-description = "HELM: Homomorphic Evaluation with EDA-driven Logic Minimization"
+description = "HELM: Navigating Homomorphic Evaluation through Gates and Lookups"
 version = "0.1.0"
 edition = "2021"
 authors = ["Dimitris Mouris <[email protected]>", "Charles Gouert <[email protected]>"]

src/bin/helm.rs

@@ -2,8 +2,9 @@ use debug_print::debug_println;
 use helm::{ascii, circuit, circuit::EvalCircuit, verilog_parser};
 use std::time::Instant;
 use termion::color;
-use tfhe::{boolean::prelude::*, shortint::parameters::PARAM_MESSAGE_2_CARRY_0};
-use tfhe::{generate_keys, ConfigBuilder};
+use tfhe::{
+    boolean::gen_keys, generate_keys, shortint::parameters::PARAM_MESSAGE_2_CARRY_0, ConfigBuilder,
+};
 
 fn main() {
     ascii::print_art();