noir-lang · asterite · May 20, 2025 · May 19, 2025 · May 20, 2025 · May 20, 2025
diff --git a/test_programs/compile_failure/databus_dead_param/stdout.txt b/test_programs/compile_failure/databus_dead_param/stdout.txt
diff --git a/test_programs/execution_failure/regression_8229/stdout.txt b/test_programs/execution_failure/regression_8229/stdout.txt
diff --git a/test_programs/execution_success/1327_concrete_in_generic/stdout.txt b/test_programs/execution_success/1327_concrete_in_generic/stdout.txt
diff --git a/test_programs/execution_success/arithmetic_binary_operations/stdout.txt b/test_programs/execution_success/arithmetic_binary_operations/stdout.txt
diff --git a/test_programs/execution_success/array_oob_regression_7965/stdout.txt b/test_programs/execution_success/array_oob_regression_7965/stdout.txt
diff --git a/test_programs/execution_success/array_oob_regression_7975/stdout.txt b/test_programs/execution_success/array_oob_regression_7975/stdout.txt
diff --git a/test_programs/execution_success/as_witness/stdout.txt b/test_programs/execution_success/as_witness/stdout.txt
diff --git a/test_programs/execution_success/brillig_entry_points_regression_8069/stdout.txt b/test_programs/execution_success/brillig_entry_points_regression_8069/stdout.txt
diff --git a/test_programs/execution_success/brillig_loop_size_regression/stdout.txt b/test_programs/execution_success/brillig_loop_size_regression/stdout.txt
diff --git a/test_programs/execution_success/brillig_uninitialized_arrays/stdout.txt b/test_programs/execution_success/brillig_uninitialized_arrays/stdout.txt
diff --git a/test_programs/execution_success/comptime_return_minus_one_as_i32/stdout.txt b/test_programs/execution_success/comptime_return_minus_one_as_i32/stdout.txt
diff --git a/test_programs/execution_success/comptime_variable_at_runtime/stdout.txt b/test_programs/execution_success/comptime_variable_at_runtime/stdout.txt
diff --git a/test_programs/execution_success/conditional_regression_547/stdout.txt b/test_programs/execution_success/conditional_regression_547/stdout.txt
diff --git a/test_programs/execution_success/databus/stdout.txt b/test_programs/execution_success/databus/stdout.txt
diff --git a/test_programs/execution_success/databus_composite_calldata/stdout.txt b/test_programs/execution_success/databus_composite_calldata/stdout.txt
diff --git a/test_programs/execution_success/databus_two_calldata/stdout.txt b/test_programs/execution_success/databus_two_calldata/stdout.txt
diff --git a/test_programs/execution_success/databus_two_calldata_simple/stdout.txt b/test_programs/execution_success/databus_two_calldata_simple/stdout.txt
diff --git a/test_programs/execution_success/derive/stdout.txt b/test_programs/execution_success/derive/stdout.txt
diff --git a/test_programs/execution_success/diamond_deps_0/stdout.txt b/test_programs/execution_success/diamond_deps_0/stdout.txt
diff --git a/test_programs/execution_success/double_neg_cond_bool_input/stdout.txt b/test_programs/execution_success/double_neg_cond_bool_input/stdout.txt
diff --git a/test_programs/execution_success/double_neg_cond_global_var/stdout.txt b/test_programs/execution_success/double_neg_cond_global_var/stdout.txt
diff --git a/test_programs/execution_success/fmtstr_with_global/stdout.txt b/test_programs/execution_success/fmtstr_with_global/stdout.txt
diff --git a/test_programs/execution_success/fold_call_witness_condition/stdout.txt b/test_programs/execution_success/fold_call_witness_condition/stdout.txt
diff --git a/test_programs/execution_success/function_ref/stdout.txt b/test_programs/execution_success/function_ref/stdout.txt
diff --git a/test_programs/execution_success/global_array_rc_regression_8259/stdout.txt b/test_programs/execution_success/global_array_rc_regression_8259/stdout.txt
diff --git a/test_programs/execution_success/global_slice_rc_regression_8259/stdout.txt b/test_programs/execution_success/global_slice_rc_regression_8259/stdout.txt
diff --git a/test_programs/execution_success/hash_to_field/stdout.txt b/test_programs/execution_success/hash_to_field/stdout.txt
diff --git a/test_programs/execution_success/hashmap/stdout.txt b/test_programs/execution_success/hashmap/stdout.txt
diff --git a/test_programs/execution_success/higher_order_functions/stdout.txt b/test_programs/execution_success/higher_order_functions/stdout.txt
diff --git a/test_programs/execution_success/integer_array_indexing/stdout.txt b/test_programs/execution_success/integer_array_indexing/stdout.txt
diff --git a/test_programs/execution_success/main_return/stdout.txt b/test_programs/execution_success/main_return/stdout.txt
diff --git a/test_programs/execution_success/nested_if_then_block_same_cond/stdout.txt b/test_programs/execution_success/nested_if_then_block_same_cond/stdout.txt
diff --git a/test_programs/execution_success/overlapping_dep_and_mod/stdout.txt b/test_programs/execution_success/overlapping_dep_and_mod/stdout.txt
diff --git a/test_programs/execution_success/prelude/stdout.txt b/test_programs/execution_success/prelude/stdout.txt
diff --git a/test_programs/execution_success/ram_blowup_regression/stdout.txt b/test_programs/execution_success/ram_blowup_regression/stdout.txt
diff --git a/test_programs/execution_success/reference_counts_inliner_0/stdout.txt b/test_programs/execution_success/reference_counts_inliner_0/stdout.txt
diff --git a/test_programs/execution_success/reference_counts_inliner_max/stdout.txt b/test_programs/execution_success/reference_counts_inliner_max/stdout.txt
diff --git a/test_programs/execution_success/reference_counts_inliner_min/stdout.txt b/test_programs/execution_success/reference_counts_inliner_min/stdout.txt
diff --git a/test_programs/execution_success/reference_counts_slices_inliner_0/stdout.txt b/test_programs/execution_success/reference_counts_slices_inliner_0/stdout.txt
diff --git a/test_programs/execution_success/regression_3051/stdout.txt b/test_programs/execution_success/regression_3051/stdout.txt
diff --git a/test_programs/execution_success/regression_3394/stdout.txt b/test_programs/execution_success/regression_3394/stdout.txt
diff --git a/test_programs/execution_success/regression_3889/stdout.txt b/test_programs/execution_success/regression_3889/stdout.txt
diff --git a/test_programs/execution_success/regression_6834/stdout.txt b/test_programs/execution_success/regression_6834/stdout.txt
diff --git a/test_programs/execution_success/regression_7128/stdout.txt b/test_programs/execution_success/regression_7128/stdout.txt
diff --git a/test_programs/execution_success/regression_7143/stdout.txt b/test_programs/execution_success/regression_7143/stdout.txt
diff --git a/test_programs/execution_success/regression_7962/stdout.txt b/test_programs/execution_success/regression_7962/stdout.txt
diff --git a/test_programs/execution_success/regression_8009/stdout.txt b/test_programs/execution_success/regression_8009/stdout.txt
diff --git a/test_programs/execution_success/regression_8011/stdout.txt b/test_programs/execution_success/regression_8011/stdout.txt
diff --git a/test_programs/execution_success/regression_8235/stdout.txt b/test_programs/execution_success/regression_8235/stdout.txt
diff --git a/test_programs/execution_success/regression_8236/stdout.txt b/test_programs/execution_success/regression_8236/stdout.txt
diff --git a/test_programs/execution_success/regression_8261/stdout.txt b/test_programs/execution_success/regression_8261/stdout.txt
diff --git a/test_programs/execution_success/regression_8329/stdout.txt b/test_programs/execution_success/regression_8329/stdout.txt
diff --git a/test_programs/execution_success/regression_method_cannot_be_found/stdout.txt b/test_programs/execution_success/regression_method_cannot_be_found/stdout.txt
diff --git a/test_programs/execution_success/regression_struct_array_conditional/stdout.txt b/test_programs/execution_success/regression_struct_array_conditional/stdout.txt
diff --git a/test_programs/execution_success/return_twice/stdout.txt b/test_programs/execution_success/return_twice/stdout.txt
diff --git a/test_programs/execution_success/signed_inactive_division_by_zero/stdout.txt b/test_programs/execution_success/signed_inactive_division_by_zero/stdout.txt
diff --git a/test_programs/execution_success/simple_add_and_ret_arr/stdout.txt b/test_programs/execution_success/simple_add_and_ret_arr/stdout.txt
diff --git a/test_programs/execution_success/simple_array_param/stdout.txt b/test_programs/execution_success/simple_array_param/stdout.txt
diff --git a/test_programs/execution_success/simple_bitwise/stdout.txt b/test_programs/execution_success/simple_bitwise/stdout.txt
diff --git a/test_programs/execution_success/simple_mut/stdout.txt b/test_programs/execution_success/simple_mut/stdout.txt
diff --git a/test_programs/execution_success/simple_not/stdout.txt b/test_programs/execution_success/simple_not/stdout.txt
diff --git a/test_programs/execution_success/simple_print/stdout.txt b/test_programs/execution_success/simple_print/stdout.txt
diff --git a/test_programs/execution_success/simple_program_addition/stdout.txt b/test_programs/execution_success/simple_program_addition/stdout.txt
diff --git a/test_programs/execution_success/slice_coercion/stdout.txt b/test_programs/execution_success/slice_coercion/stdout.txt
diff --git a/test_programs/execution_success/struct_array_inputs/stdout.txt b/test_programs/execution_success/struct_array_inputs/stdout.txt
diff --git a/test_programs/execution_success/struct_inputs/stdout.txt b/test_programs/execution_success/struct_inputs/stdout.txt
diff --git a/test_programs/execution_success/tuple_inputs/stdout.txt b/test_programs/execution_success/tuple_inputs/stdout.txt
diff --git a/test_programs/execution_success/while_loop_break_regression_8521/stdout.txt b/test_programs/execution_success/while_loop_break_regression_8521/stdout.txt
diff --git a/test_programs/execution_success/wildcard_type/stdout.txt b/test_programs/execution_success/wildcard_type/stdout.txt
diff --git a/test_programs/execution_success/witness_compression/stdout.txt b/test_programs/execution_success/witness_compression/stdout.txt
diff --git a/tooling/nargo_cli/tests/execute.rs b/tooling/nargo_cli/tests/execute.rs
@@ -60,7 +60,7 @@
        }

        // Enable enums and ownership as unstable features
        nargo.arg("-Zenums");

        if force_brillig.0 {
            {
@@ -149,32 +149,15 @@
             let stdout = String::from_utf8(output.stdout).unwrap();
             let stdout = remove_noise_lines(stdout);
 
-            let stdout_path = test_program_dir.join("stdout.txt");
-            let expected_stdout = if stdout_path.exists() {
-                String::from_utf8(fs::read(stdout_path.clone()).unwrap()).unwrap()
-            } else {
-                String::new()
-            };
-
-            // Remove any trailing newlines added by some editors
-            let stdout = stdout.trim();
-            let expected_stdout = expected_stdout.trim();
-
-            if stdout != expected_stdout {
-                if std::env::var("OVERWRITE_TEST_OUTPUT").is_ok() {
-                    fs::write(stdout_path, stdout.to_string() + "\n").unwrap();
-                } else {
-                    println!(
-                        "stdout does not match expected output. Expected:\n{expected_stdout}\n\nActual:\n{stdout}"
-                    );
-                    if expected_stdout.is_empty() && !stdout_path.exists() {
-                        println!(
-                            "Hint: set the OVERWRITE_TEST_OUTPUT env var to establish a stdout.txt"
-                        )
-                    }
-                    assert_eq!(stdout, expected_stdout);
-                }
-            }
+            let test_name = test_program_dir.file_name().unwrap().to_string_lossy().to_string();
+            let snapshot_name = "stdout";
+            insta::with_settings!(
+                {
+                    snapshot_path => format!("./snapshots/execution_success/{test_name}")
+                },
+                {
+                insta::assert_snapshot!(snapshot_name, stdout)
+            })
         }
 
         check_program_artifact(
@@ -324,7 +307,7 @@
        nargo.arg("execute").arg("--force").arg("--disable-comptime-printing");

        // Enable enums as an unstable feature
        nargo.arg("-Zenums");

        // Enable pedantic solving
        nargo.arg("--pedantic-solving");
@@ -339,7 +322,7 @@
        nargo.arg("expand").arg("--force").arg("--disable-comptime-printing");

        // Enable enums as an unstable feature
        nargo.arg("-Zenums");

        // Enable pedantic solving
        nargo.arg("--pedantic-solving");
@@ -363,7 +346,7 @@
        let temp_dir = tempfile::tempdir().unwrap().into_path();

        // Copy everything from the original directory to the new directory
        // (because some depdendencies might be there and might be needed for the expanded code to work)
        copy_dir_all(test_program_dir.clone(), temp_dir.clone()).unwrap();

        // Create a main file for the expanded code
@@ -378,7 +361,7 @@
        nargo.arg("execute").arg("--force").arg("--disable-comptime-printing");

        // Enable enums as an unstable feature
        nargo.arg("-Zenums");

        // Enable pedantic solving
        nargo.arg("--pedantic-solving");
@@ -400,7 +383,7 @@
        nargo.arg("expand").arg("--force").arg("--disable-comptime-printing");

        // Enable enums as an unstable feature
        nargo.arg("-Zenums");

        // Enable pedantic solving
        nargo.arg("--pedantic-solving");
@@ -424,7 +407,7 @@
        let temp_dir = tempfile::tempdir().unwrap().into_path();

        // Copy everything from the original directory to the new directory
        // (because some depdendencies might be there and might be needed for the expanded code to work)
        copy_dir_all(test_program_dir.clone(), temp_dir.clone()).unwrap();

        // Create a main file for the expanded code

diff --git a/...li/tests/snapshots/execution_success/1327_concrete_in_generic/execute__tests__stdout.snap b/...li/tests/snapshots/execution_success/1327_concrete_in_generic/execute__tests__stdout.snap
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/1_mul/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/1_mul/execute__tests__stdout.snap
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/2_div/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/2_div/execute__tests__stdout.snap
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/3_add/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/3_add/execute__tests__stdout.snap
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/4_sub/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/4_sub/execute__tests__stdout.snap
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/5_over/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/5_over/execute__tests__stdout.snap
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/6/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/6/execute__tests__stdout.snap
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/6_array/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/6_array/execute__tests__stdout.snap
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/7/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/7/execute__tests__stdout.snap
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/7_function/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/7_function/execute__tests__stdout.snap
diff --git a/...ng/nargo_cli/tests/snapshots/execution_success/aes128_encrypt/execute__tests__stdout.snap b/...ng/nargo_cli/tests/snapshots/execution_success/aes128_encrypt/execute__tests__stdout.snap
diff --git a/...ests/snapshots/execution_success/arithmetic_binary_operations/execute__tests__stdout.snap b/...ests/snapshots/execution_success/arithmetic_binary_operations/execute__tests__stdout.snap
diff --git a/...success/array_dedup_regression/stdout.txt → ...up_regression/execute__tests__stdout.snap b/...success/array_dedup_regression/stdout.txt → ...up_regression/execute__tests__stdout.snap
diff --git a/...ing/nargo_cli/tests/snapshots/execution_success/array_dynamic/execute__tests__stdout.snap b/...ing/nargo_cli/tests/snapshots/execution_success/array_dynamic/execute__tests__stdout.snap
diff --git a/...ests/snapshots/execution_success/array_dynamic_blackbox_input/execute__tests__stdout.snap b/...ests/snapshots/execution_success/array_dynamic_blackbox_input/execute__tests__stdout.snap
diff --git a/...cess/array_dynamic_main_output/stdout.txt → ...c_main_output/execute__tests__stdout.snap b/...cess/array_dynamic_main_output/stdout.txt → ...c_main_output/execute__tests__stdout.snap
diff --git a/...apshots/execution_success/array_dynamic_nested_blackbox_input/execute__tests__stdout.snap b/...apshots/execution_success/array_dynamic_nested_blackbox_input/execute__tests__stdout.snap