fix ci

README.md

@@ -62,21 +62,7 @@ cargo build --release
 cargo run
 ```
 
-## Configuration
-
-The CLI provides options to specify both input and output file paths, allowing flexibility in how you manage your circom program files and the resulting arithmetic circuits.
-
-### Command Line Arguments
-
-- `--output`: Specifies the path to the output directory where the generated arithmetic circuit files will be stored. By default, it's saved in the `./output` directory.
-
-#### Example
-
-To run the program with specific input file path and output directory path, use the following command format:
-
-```bash
-./target/release/circom --output ./output-path/
-```
+The compiled circuit and circuit report can be found in the `./output` directory.
 
 ## ZK/MPC/FHE backends:
 

src/circom/input.rs

@@ -36,6 +36,7 @@ pub struct Input {
     pub link_libraries : Vec<PathBuf>
 }
 
+#[allow(dead_code)]
 const R1CS: &str = "r1cs";
 const WAT: &str = "wat";
 const WASM: &str = "wasm";
@@ -46,7 +47,7 @@ const SYM: &str = "sym";
 const JSON: &str = "json";
 
 impl Input {
-    pub fn new(input: PathBuf) -> Result<Input, ()> {
+    pub fn new(input: PathBuf, output: PathBuf) -> Result<Input, ()> {
         let matches = input_processing::view();
         let mut file_name = input.file_stem().unwrap().to_str().unwrap().to_string();
         let output_path = input_processing::get_output_path(&matches)?;
@@ -64,7 +65,7 @@ impl Input {
         Result::Ok(Input {
             //field: P_BN128,
             input_program: input,
-            out_r1cs: Input::build_output(&output_path, &file_name, R1CS),
+            out_r1cs: output,
             out_wat_code: Input::build_output(&output_js_path, &file_name, WAT),
             out_wasm_code: Input::build_output(&output_js_path, &file_name, WASM),
             out_js_folder: output_js_path.clone(),
@@ -513,4 +514,4 @@ pub mod input_processing {
         }
         link_libraries
     }
-}
+}

src/circuit.rs

@@ -337,7 +337,7 @@ impl ArithmeticCircuit {
                 .try_fold(HashMap::new(), |mut acc, signal| {
                     let input = builder
                         .add_input::<u32>(signal.names[0].to_string())
-                        .map_err(|e| CircuitError::MPZCircuitError(e))?;
+                        .map_err(CircuitError::MPZCircuitError)?;
                     acc.insert(signal.id, input.repr);
                     Ok::<_, CircuitError>(acc)
                 })?;

src/main.rs

@@ -17,9 +17,10 @@ fn main() -> Result<(), ProgramError> {
 
     let output_path = PathBuf::from(view().value_of("output").unwrap());
 
-    fs::create_dir_all(output_path).map_err(|_| ProgramError::OutputDirectoryCreationError)?;
+    fs::create_dir_all(output_path.clone())
+        .map_err(|_| ProgramError::OutputDirectoryCreationError)?;
 
-    let input = Input::new(PathBuf::from("./src/assets/circuit.circom"))
+    let input = Input::new(PathBuf::from("./src/assets/circuit.circom"), output_path)
         .map_err(|_| ProgramError::InputInitializationError)?;
     let output_dir = input
         .out_r1cs

tests/mat_elem_mul.rs

@@ -1,8 +1,10 @@
 use circom_2_arithc::{circom::input::Input, program::build_circuit};
 
+const TEST_FILE_PATH: &str = "./tests/circuits/matElemMul.circom";
+
 #[test]
 fn matrix_element_multiplication() {
-    let input = Input::new("./tests/circuits/matElemMul.circom".into()).unwrap();
+    let input = Input::new(TEST_FILE_PATH.into(), "./".into()).unwrap();
     let circuit = build_circuit(&input).unwrap();
     let report = circuit.generate_circuit_report().unwrap();
     let mpz_circuit = circuit.build_mpz_circuit(&report).unwrap();