diff --git a/test_programs/compile_success_contract/abi_attribute/Nargo.toml b/test_programs/compile_success_contract/abi_attribute/Nargo.toml
new file mode 100644
index 00000000000..56fa88ccb68
--- /dev/null
+++ b/test_programs/compile_success_contract/abi_attribute/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "abi_attribute"
+type = "contract"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/compile_success_contract/abi_attribute/src/main.nr b/test_programs/compile_success_contract/abi_attribute/src/main.nr
new file mode 100644
index 00000000000..d658823d519
--- /dev/null
+++ b/test_programs/compile_success_contract/abi_attribute/src/main.nr
@@ -0,0 +1,9 @@
+contract Foo {
+    #[abi(foo)]
+    global foo: Field = 42;
+    
+    #[abi(bar)]
+    struct Bar {
+        inner: Field
+    }
+}
diff --git a/tooling/nargo_cli/benches/criterion.rs b/tooling/nargo_cli/benches/criterion.rs
index 9f67bcffd6e..effab7d7c27 100644
--- a/tooling/nargo_cli/benches/criterion.rs
+++ b/tooling/nargo_cli/benches/criterion.rs
@@ -28,16 +28,10 @@ macro_rules! criterion_command {
     };
 }
 criterion_command!(execution, "execute");
-criterion_command!(prove, "prove");
 
 criterion_group! {
     name = execution_benches;
     config = Criterion::default().sample_size(20).measurement_time(Duration::from_secs(20)).with_profiler(PProfProfiler::new(100, Output::Flamegraph(None)));
     targets = criterion_selected_tests_execution
 }
-criterion_group! {
-    name = prove_benches;
-    config = Criterion::default().sample_size(10).measurement_time(Duration::from_secs(20)).with_profiler(PProfProfiler::new(100, Output::Flamegraph(None)));
-    targets = criterion_selected_tests_prove
-}
-criterion_main!(execution_benches, prove_benches);
+criterion_main!(execution_benches);