From dd80b616b757a334e4f70ae5e5145ace14e2d54f Mon Sep 17 00:00:00 2001
From: Georg Wiese <georgwiese@gmail.com>
Date: Mon, 12 Feb 2024 12:48:56 +0100
Subject: [PATCH] Enable Halo2 test for arithmetic machine

---
 pipeline/tests/powdr_std.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pipeline/tests/powdr_std.rs b/pipeline/tests/powdr_std.rs
index b9d931473..d55e00726 100644
--- a/pipeline/tests/powdr_std.rs
+++ b/pipeline/tests/powdr_std.rs
@@ -45,8 +45,7 @@ fn arith_test() {
     let f = "std/arith_test.asm";
     verify_test_file::<GoldilocksField>(f, Default::default(), vec![]);
     gen_estark_proof(f, Default::default());
-    // Halo2 test runs out of memory on CI
-    // test_halo2(f, Default::default());
+    test_halo2(f, Default::default());
 }
 
 #[test]