fix

build_scripts/src/self_prog_id.rs

@@ -18,10 +18,10 @@ pub fn dump_self_prog_id(out_elf_name: &str) {
     let out_elf_path_str = out_elf_path.to_str().unwrap();
     let cli_dir = cargo_manifest_dir_path.join("../cli");
 
-    let args = vec!["self-prog-id", out_elf_path_str];
+    let args = vec!["run", "--release", "--", "self-prog-id", out_elf_path_str];
 
     // execute the cli command `self-prog-id` on the ELF
-    let output = Command::new("./../target/release/mozak-cli")
+    let output = Command::new("cargo")
         .args(args)
         .current_dir(cli_dir)
         .env_clear()

cli/src/tests/integration_test.rs

@@ -20,14 +20,6 @@ fn test_prove_and_verify_recursive_proof_command() {
     // Create mock IO tape files
     fs::write(system_tape, b"").expect("Failed to create system tape file");
 
-    // Get self_prog_id
-    let output = Command::new("cargo")
-        .args(["run", "--", "self-prog-id", elf_file])
-        .output()
-        .expect("Failed to execute self-prog-id command");
-    let mut self_prog_id = String::from_utf8(output.stdout).unwrap();
-    self_prog_id = self_prog_id.trim().to_string();
-
     // Execute the `prove` command
     let output = Command::new("cargo")
         .args([