diff --git a/riscv/tests/common/mod.rs b/riscv/tests/common/mod.rs index 279eec4bf..6c32b1061 100644 --- a/riscv/tests/common/mod.rs +++ b/riscv/tests/common/mod.rs @@ -37,30 +37,27 @@ pub fn verify_riscv_asm_string(pipeline.clone()); - /* Commenting out these tests for now because auto witgen does not handle - * partial witnesses well with Poseidon. - // verify using executor generated witness - // TODO remove the guard once the executor is implemented for BB - if T::known_field().unwrap() == KnownField::GoldilocksField { - let analyzed = pipeline.compute_analyzed_asm().unwrap().clone(); - let pil = pipeline.compute_optimized_pil().unwrap(); - let fixed = pipeline.compute_fixed_cols().unwrap().clone(); - let execution = powdr_riscv_executor::execute( - &analyzed, - &pil, - fixed, - Default::default(), - pipeline.data_callback().unwrap(), - &[], - None, - None, - ); - pipeline.rollback_from_witness(); - let executor_trace: Vec<_> = execution.trace.into_iter().collect(); - let pipeline = pipeline.add_external_witness_values(executor_trace); - test_plonky3_pipeline::(pipeline); - } - */ + // verify using executor generated witness + // TODO remove the guard once the executor is implemented for BB + if T::known_field().unwrap() == KnownField::GoldilocksField { + let analyzed = pipeline.compute_analyzed_asm().unwrap().clone(); + let pil = pipeline.compute_optimized_pil().unwrap(); + let fixed = pipeline.compute_fixed_cols().unwrap().clone(); + let execution = powdr_riscv_executor::execute( + &analyzed, + &pil, + fixed, + Default::default(), + pipeline.data_callback().unwrap(), + &[], + None, + None, + ); + pipeline.rollback_from_witness(); + let executor_trace: Vec<_> = execution.trace.into_iter().collect(); + let pipeline = pipeline.add_external_witness_values(executor_trace); + test_plonky3_pipeline::(pipeline); + } } fn find_assembler() -> &'static str {