diff --git a/crates/nargo_cli/build.rs b/crates/nargo_cli/build.rs
index a3298b16ab..fad960af8f 100644
--- a/crates/nargo_cli/build.rs
+++ b/crates/nargo_cli/build.rs
@@ -29,7 +29,7 @@ fn main() {
     }
 
     let out_dir = env::var("OUT_DIR").unwrap();
-    let destination = Path::new(&out_dir).join("prove_and_verify.rs");
+    let destination = Path::new(&out_dir).join("execute.rs");
     let mut test_file = File::create(destination).unwrap();
 
     generate_tests(&mut test_file);
@@ -92,7 +92,7 @@ fn generate_tests(test_file: &mut File) {
             r#"
 {exclude_macro}
 #[test]
-fn prove_and_verify_{test_sub_dir}_{test_name}() {{
+fn execute_{test_sub_dir}_{test_name}() {{
     let test_program_dir = PathBuf::from("{test_dir}");
 
     let mut cmd = Command::cargo_bin("nargo").unwrap();
diff --git a/crates/nargo_cli/tests/prove_and_verify.rs b/crates/nargo_cli/tests/execute.rs
similarity index 84%
rename from crates/nargo_cli/tests/prove_and_verify.rs
rename to crates/nargo_cli/tests/execute.rs
index d581f75c18..f0ada37869 100644
--- a/crates/nargo_cli/tests/prove_and_verify.rs
+++ b/crates/nargo_cli/tests/execute.rs
@@ -13,5 +13,5 @@ mod tests {
     use super::*;
 
     // include tests generated by `build.rs`
-    include!(concat!(env!("OUT_DIR"), "/prove_and_verify.rs"));
+    include!(concat!(env!("OUT_DIR"), "/execute.rs"));
 }