Improve comments and logging in test_vm_execute_and_finalize

Author: vicsn

Cargo.lock

@@ -206,9 +206,9 @@ version = "0.9"
 [dev-dependencies.tempfile]
 workspace = true
 
-[dev-dependencies.tracing-subscriber]
-version = "0.3"
-features = [ "env-filter", "std" ]
+[dev-dependencies.test-log]
+version = "0.2"
+features = [ "trace" ]
 
 [dev-dependencies.walkdir]
 version = "2"

synthesizer/Cargo.toml

@@ -40,7 +40,6 @@ use snarkvm_synthesizer_program::FinalizeGlobalState;
 use anyhow::Result;
 use indexmap::IndexMap;
 use snarkvm_console::account::Address;
-use tracing_subscriber::{EnvFilter, fmt, prelude::__tracing_subscriber_SubscriberExt, util::SubscriberInitExt};
 use utilities::*;
 
 #[cfg(not(feature = "rocks"))]
@@ -49,10 +48,8 @@ type LedgerType = snarkvm_ledger_store::helpers::memory::ConsensusMemory<Current
 type LedgerType = snarkvm_ledger_store::helpers::rocksdb::ConsensusDB<CurrentNetwork>;
 
 #[test]
+#[test_log::test]
 fn test_vm_execute_and_finalize() {
-    // Enable logging.
-    tracing_subscriber::registry().with(fmt::layer()).with(EnvFilter::from_default_env()).init();
-
     // Load the tests.
     let tests =
         load_tests::<_, ProgramTest>("./tests/vm/execute_and_finalize", "./expectations/vm/execute_and_finalize");
@@ -160,6 +157,7 @@ fn run_test(test: &ProgramTest) -> serde_yaml::Mapping {
             )
             .unwrap();
         if !aborted_transaction_ids.is_empty() {
+            // Print the program ID that was aborted.
             println!("Aborted program deployment: {:?}", program.id());
             assert!(aborted_transaction_ids.is_empty());
         }
@@ -355,6 +353,7 @@ fn run_test(test: &ProgramTest) -> serde_yaml::Mapping {
                 }
             };
             if !aborted_transaction_ids.is_empty() {
+                // Print the function that was aborted.
                 println!("Aborted call to {program_id}/{function_name}");
                 assert!(aborted_transaction_ids.is_empty());
             }