test with_keccak()

powdr-labs · Dec 20, 2024 · 415b113 · 415b113
1 parent 682256a
commit 415b113
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/riscv/tests/riscv.rs b/riscv/tests/riscv.rs
@@ -753,7 +753,11 @@ fn exported_csv_as_external_witness() {
     );
 
     // compile
-    let options = CompilerOptions::new(KnownField::GoldilocksField, RuntimeLibs::new(), false);
+    let options = CompilerOptions::new(
+        KnownField::GoldilocksField,
+        RuntimeLibs::new().with_keccak(),
+        false,
+    );
     let asm = powdr_riscv::elf::translate(&executable, options);
 
     // export witness