transaction fuzzer: tuning, improvements, and fixes

.gitignore

@@ -1,3 +1,4 @@
 /target
 /node/testing/res/
 .DS_Store
+*.profraw

tools/fuzzing/src/main.rs

@@ -20,7 +20,9 @@ pub mod transaction_fuzzer {
         stats::Stats,
     };
     use ledger::{
-        scan_state::transaction_logic::UserCommand, sparse_ledger::LedgerIntf, Account, BaseLedger,
+        scan_state::transaction_logic::{zkapp_command::ZkAppCommand, Transaction, UserCommand},
+        sparse_ledger::LedgerIntf,
+        Account, BaseLedger,
     };
     use mina_hasher::Fp;
     use mina_p2p_messages::bigint::BigInt;
@@ -201,7 +203,7 @@ pub mod transaction_fuzzer {
         let mut ctx = FuzzerCtxBuilder::new()
             .seed(seed)
             .minimum_fee(minimum_fee)
-            .initial_accounts(10)
+            .initial_accounts(1000)
             .fuzzcases_path(env::var("FUZZCASES_PATH").unwrap_or("/tmp/".to_string()))
             .build();
 
@@ -245,6 +247,17 @@ pub mod transaction_fuzzer {
             {
                 println!("!!! {error}");
 
+                // Diff generated command form serialized version (detect hash inconsitencies)
+                if let Transaction::Command(ocaml_user_command) =
+                    ocaml_apply_result.apply_result[0].transaction().data
+                {
+                    if let UserCommand::ZkAppCommand(command) = &ocaml_user_command {
+                        command.account_updates.ensure_hashed();
+                    }
+
+                    println!("{}", ctx.diagnostic(&user_command, &ocaml_user_command));
+                }
+
                 let ocaml_accounts = ocaml_get_accounts(stdin, stdout);
                 let rust_accounts = ledger.to_list();
 

tools/fuzzing/src/transaction_fuzzer/context.rs

@@ -327,7 +327,7 @@ impl FuzzerCtx {
                     account.nonce = GeneratorRange32::gen_range(self, 0..=u32::MAX);
                     account.timing = Timing::Untimed;
 
-                    let permission_model = self.gen();
+                    let permission_model = PermissionModel::Any; //self.gen();
                     self.state
                         .potential_senders
                         .push((keypair, permission_model));

tools/fuzzing/src/transaction_fuzzer/coverage/reports.rs

@@ -365,7 +365,12 @@ impl fmt::Display for CoverageReport {
 impl CoverageReport {
     #[coverage(off)]
     pub fn write_files(&self, report_prefix: String) {
-        let sources_path = env::var("REPORTS_PATH").unwrap_or("/tmp/".to_string());
+        let mut sources_path = env::var("REPORTS_PATH").unwrap_or("/tmp/".to_string());
+
+        if !sources_path.ends_with('/') {
+            sources_path.push('/');
+        }
+
         let report_file_vec: Vec<(String, &FileCoverage)> = self
             .0
             .iter()