From 8f472bdbb4aa0160b4e4463f1a7ebe09a9e46a6c Mon Sep 17 00:00:00 2001
From: Georg Wiese <georgwiese@gmail.com>
Date: Wed, 26 Jun 2024 12:44:42 +0200
Subject: [PATCH] Speed up arith_test

---
 pipeline/tests/powdr_std.rs | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/pipeline/tests/powdr_std.rs b/pipeline/tests/powdr_std.rs
index 687f9debd..e7534fedc 100644
--- a/pipeline/tests/powdr_std.rs
+++ b/pipeline/tests/powdr_std.rs
@@ -50,7 +50,16 @@ fn split_gl_test() {
 fn arith_test() {
     let f = "std/arith_test.asm";
     verify_test_file(f, Default::default(), vec![]).unwrap();
-    gen_estark_proof(f, Default::default());
+
+    // Running gen_estark_proof(f, Default::default())
+    // is too slow for the PR tests. This will only create a single
+    // eStark proof instead of 3.
+    Pipeline::<GoldilocksField>::default()
+        .from_file(resolve_test_file(f))
+        .with_backend(powdr_backend::BackendType::EStarkStarky, None)
+        .compute_proof()
+        .unwrap();
+
     test_halo2(f, Default::default());
 }