second pass

Author: qwang98

pipeline/src/test_util.rs

@@ -517,14 +517,14 @@ pub fn assert_proofs_fail_for_invalid_witnesses_pilcom(
     assert!(run_pilcom_with_backend_variant(
         pipeline
             .clone()
-            .with_backend(powdr_backend::BackendType::EStarkDump, None)
+            .with_backend_factory(powdr_backend::BackendType::EStarkDump)
             .set_witness(convert_witness(witness)),
         BackendVariant::Monolithic
     )
     .is_err());
     assert!(run_pilcom_with_backend_variant(
         pipeline
-            .with_backend(powdr_backend::BackendType::EStarkDumpComposite, None)
+            .with_backend_factory(powdr_backend::BackendType::EStarkDumpComposite)
             .set_witness(convert_witness(witness)),
         BackendVariant::Composite
     )

pipeline/tests/asm.rs

@@ -173,7 +173,7 @@ fn block_to_block_empty_submachine() {
         .iter()
         .for_each(|backend| {
             let mut pipeline = make_simple_prepared_pipeline::<GoldilocksField>(f, LinkerMode::Bus)
-                .with_backend(*backend, None);
+                .with_backend_factory(*backend);
             let witness = pipeline.compute_witness().unwrap();
             let arith_size = witness
                 .iter()
@@ -314,7 +314,7 @@ fn dynamic_vadcop() {
     // Witness generation require backend to be known
     for backend in [BackendType::Mock, BackendType::Plonky3].iter() {
         let mut pipeline = make_simple_prepared_pipeline::<GoldilocksField>(f, LinkerMode::Bus)
-            .with_backend(*backend, None);
+            .with_backend_factory(*backend);
         let witness = pipeline.compute_witness().unwrap();
         let witness_by_name = witness
             .iter()

riscv/benches/executor_benchmark.rs

@@ -1,5 +1,4 @@
 use ::powdr_pipeline::Pipeline;
-use powdr_backend::BackendType;
 use powdr_number::GoldilocksField;
 
 use powdr_riscv::{compile_rust_crate_to_riscv, elf, CompilerOptions};
@@ -19,9 +18,7 @@ fn executor_benchmark(c: &mut Criterion) {
         compile_rust_crate_to_riscv("./tests/riscv_data/keccak/Cargo.toml", &tmp_dir, None);
     let options = CompilerOptions::new_gl();
     let contents = elf::translate(&executable, options);
-    let mut pipeline = Pipeline::<T>::default()
-        .from_asm_string(contents, None)
-        .with_backend(BackendType::Mock, None);
+    let mut pipeline = Pipeline::<T>::default().from_asm_string(contents, None);
     pipeline.compute_backend_tuned_pil().unwrap();
     pipeline.compute_fixed_cols().unwrap();