chore: add return value to every execution_success program that produces an output

test_programs/execution_success/1327_concrete_in_generic/Prover.toml

@@ -1 +1,2 @@
-input = 1
+input = 1
+return = 1

test_programs/execution_success/arithmetic_binary_operations/Prover.toml

@@ -1,3 +1,4 @@
 x = "3"
 y = "4"
 z = "5"
+return = 10

test_programs/execution_success/array_dynamic_main_output/Prover.toml

@@ -1,2 +1,3 @@
 index = "5"
 x = ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9"]
+return = [0, 1, 2, 3, 4, 0, 6, 7, 8, 9]

test_programs/execution_success/array_oob_regression_7965/Prover.toml

@@ -1,2 +1,3 @@
 a = 1
-b = [[0, 1, 0, "\\\t"], [0, 1, 1, "mp"], [0, 0, 0, "\t/"], [0, 0, 0, "ab"]]
+b = [[0, 1, 0, "\\\t"], [0, 1, 1, "mp"], [0, 0, 0, "\t/"], [0, 0, 0, "ab"]]
+return = []

test_programs/execution_success/array_oob_regression_7975/Prover.toml

@@ -1 +1,2 @@
-b = [[0]]
+b = [[0]]
+return = [[0]]

test_programs/execution_success/array_with_refs_return/Prover.toml

@@ -0,0 +1 @@
+return = [2, 3]

test_programs/execution_success/as_witness/Prover.toml

@@ -1 +1,2 @@
-a = 42
+a = 42
+return = 42

test_programs/execution_success/brillig_block_parameter_liveness/Prover.toml

@@ -1 +1,2 @@
 conditions = ["1", "0", "1", "0", "1"]
+return = { middle_a = { inner_a = { a = 1, b = 0, c = 5, d = 0, e = 0, f = 9, g = 0, h = 0, i = 0, j = 0 }, inner_b = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_c = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_d = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_e = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 } }, middle_b = { inner_a = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_b = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_c = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_d = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_e = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 } }, middle_c = { inner_a = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_b = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_c = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_d = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_e = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 } }, middle_d = { inner_a = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_b = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_c = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_d = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_e = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 } }, middle_e = { inner_a = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_b = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_c = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_d = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_e = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 } }, middle_f = { inner_a = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_b = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_c = { a = 8, b = 0, c = 4, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_d = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_e = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 } }, middle_g = { inner_a = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_b = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_c = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_d = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_e = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 } }, middle_h = { inner_a = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_b = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_c = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_d = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 }, inner_e = { a = 0, b = 0, c = 0, d = 0, e = 0, f = 0, g = 0, h = 0, i = 0, j = 0 } } }

test_programs/execution_success/brillig_cow_regression/Prover.toml

@@ -1,3 +1,8 @@
+return = [
+  "325726846830326257119180493722970801006",
+  "15429571951369340199663579799609180439",
+]
+
 [kernel_data]
 encrypted_logs_hash = [
   "0x0000000000000000000000000000000000000000000000000000000000000000",

test_programs/execution_success/brillig_entry_points_regression_8069/Prover.toml

@@ -0,0 +1 @@
+return = false

test_programs/execution_success/brillig_loop_size_regression/Prover.toml

@@ -0,0 +1 @@
+return = 2

test_programs/execution_success/brillig_uninitialized_arrays/Prover.toml

@@ -1,2 +1,3 @@
 x = 1
 y = 0
+return = 1

test_programs/execution_success/comptime_return_minus_one_as_i32/Prover.toml

@@ -0,0 +1 @@
+return = -1

test_programs/execution_success/conditional_regression_547/Prover.toml

@@ -1 +1,2 @@
-x = 1
+x = 1
+return = 1

test_programs/execution_success/databus/Prover.toml

@@ -1,3 +1,4 @@
 x = "3"
 y = "4"
-z = [1,2,3,4]
+z = [1, 2, 3, 4]
+return = 9

test_programs/execution_success/databus_composite_calldata/Prover.toml

@@ -1,6 +1,7 @@
 zero = "0"
 one = "1"
 values = [[["12", "33"], ["37", "11"]],[["14", "37"], ["30", "10"]],[["10", "30"], ["30", "10"]]]
+return = 2
 
 [[foos]]
 x = 1

test_programs/execution_success/databus_two_calldata/Prover.toml

@@ -1,3 +1,4 @@
 x = [0,1,2,3]
 y = [0,2,4]
 z = [1,3,5,7]
+return = [1,5,9,7]

test_programs/execution_success/databus_two_calldata_simple/Prover.toml

@@ -1,3 +1,4 @@
 idx = "1"
 y = [7, 9]
 z = [1,2,3,4]
+return = 11

test_programs/execution_success/double_neg_cond_bool_input/Prover.toml

@@ -1 +1,2 @@
 a = 1
+return = 1

test_programs/execution_success/fold_call_witness_condition/Prover.toml

@@ -1,3 +1,4 @@
 x = "10"
 y = "10"
 enable = false
+return = [0, 0]

test_programs/execution_success/fold_numeric_generic_poseidon/Prover.toml

@@ -1,2 +1,3 @@
 enable = [true, false]
 to_hash = [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]
+return = ["0x0f319258a1a8e85324d818a86f6b9e843601bf5fc0c16a5f6373ad1079d61bf4", "0x00", "0x252875d79a57f3835f452548af60c7beee6ac01a1c36bb6aec7ce6d069011acc"]

test_programs/execution_success/global_array_rc_regression_8259/Prover.toml

@@ -1 +1,2 @@
 a = true
+return = [true, false, true]

test_programs/execution_success/hash_to_field/Prover.toml

@@ -1 +1,2 @@
 input = "1"
+return = "0x25cebc29ded2fa515a937e2b5f674e3026c012e5b57f8a48d7dce6b7d274f9d9"

test_programs/execution_success/higher_order_functions/Prover.toml

@@ -1 +1,2 @@
-w = 1
+w = 1
+return = 6

test_programs/execution_success/inline_decompose_hint_brillig_call/Prover.toml

@@ -0,0 +1 @@
+return = "0x24e4646f58b9fbe7d38e317db8d5636c423fbbdfbe119fc190fe9c64747e0c62"

test_programs/execution_success/integer_array_indexing/Prover.toml

@@ -1,2 +1,3 @@
 arr = [1, 2, 3]
 x = 2
+return = 8

test_programs/execution_success/lambda_taking_lambda_regression_8543/Prover.toml

@@ -0,0 +1 @@
+return = 0

test_programs/execution_success/lambda_taking_lambda_with_variant/Prover.toml

@@ -0,0 +1 @@
+return = 0

test_programs/execution_success/main_return/Prover.toml

@@ -1 +1,2 @@
 x = "8"
+return = 8

test_programs/execution_success/multi_scalar_mul/Prover.toml

@@ -5,6 +5,7 @@ scalars = [
     "0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000",
     "0x1b",
 ]
+return = { x = "0x1c8a6176be7ad60ed7cfa3165b21f7236f8248be3d0481bcccc0e96e32ec00ea", y = "0x1f96197d2991f3c6f2a249d2e5811178ddce4950f21e3d01f2d7d83611e7e784", is_infinite = false }
 
 [[points]]
 is_infinite = "0"

test_programs/execution_success/no_predicates_numeric_generic_poseidon/Prover.toml

@@ -1,2 +1,7 @@
 enable = [true, false]
 to_hash = [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]
+return = [
+    "0x0f319258a1a8e85324d818a86f6b9e843601bf5fc0c16a5f6373ad1079d61bf4",
+    "0x00",
+    "0x252875d79a57f3835f452548af60c7beee6ac01a1c36bb6aec7ce6d069011acc",
+]

test_programs/execution_success/overlapping_dep_and_mod/bin/Prover.toml

@@ -0,0 +1 @@
+return = 11

test_programs/execution_success/ram_blowup_regression/Prover.toml

@@ -1 +1,2 @@
-tx_effects_hash_input = [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
+tx_effects_hash_input = [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
+return = "0xdb0b87402b48f922326751cce8c963a7f32f92928409dce7790ad72e65eee4"

test_programs/execution_success/regression_11294/Prover.toml

@@ -1,3 +1,14 @@
+return = { end = { private_call_stack = [
+    { args_hash = 0x00, returns_hash = 0x00, start_side_effect_counter = 0, end_side_effect_counter = 0 },
+    { args_hash = 0x00, returns_hash = 0x00, start_side_effect_counter = 0, end_side_effect_counter = 0 },
+    { args_hash = 0x00, returns_hash = 0x00, start_side_effect_counter = 0, end_side_effect_counter = 0 },
+    { args_hash = 0x00, returns_hash = 0x00, start_side_effect_counter = 0, end_side_effect_counter = 0 },
+    { args_hash = 0x00, returns_hash = 0x00, start_side_effect_counter = 0, end_side_effect_counter = 0 },
+    { args_hash = 0x00, returns_hash = 0x00, start_side_effect_counter = 0, end_side_effect_counter = 0 },
+    { args_hash = 0x00, returns_hash = 0x00, start_side_effect_counter = 0, end_side_effect_counter = 0 },
+    { args_hash = 0x00, returns_hash = 0x00, start_side_effect_counter = 0, end_side_effect_counter = 0 },
+] } }
+
 [[previous_kernel_public_inputs.end.private_call_stack]]
 args_hash = "0x0c78b411fc893c51d446c08daa5741b9ba6103126c9e450bed90fcde8793168a"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"

test_programs/execution_success/regression_3889/Prover.toml

@@ -1,3 +1,5 @@
+return = 18
+
 [works]
 a = "5"
 
@@ -7,4 +9,3 @@ a = "6"
 
 [also_fails]
 a = "7"
-

test_programs/execution_success/regression_5252/Prover.toml

@@ -4,3 +4,4 @@ to_hash = [[1,5,9,2,24,563,3545,5,52,4244,43,2,7373567,2,286762,7,2457,24,2456,2
 #[465656,234324,4353,5245246,2567345674567,5634563456,7676474,4747,4567456746,56,4657456,4657,4567,46,7,8,98,87,76,57]
 ]
 enable = [1,1,0]
+return = ["0x2123044e00a868c5828caa3e81bf44ce1131856159853283118b979cd9ef0357", "0x25e65fbbdb68f3be5112b437f6179523e4817ba6c875817d19ee6b4d654d0823", "0x00"]

test_programs/execution_success/regression_6834/Prover.toml

@@ -1,2 +1,3 @@
 year = 1
 min_age = 1
+return = 0

test_programs/execution_success/regression_7128/Prover.toml

@@ -1 +1,2 @@
 in0 = "1"
+return = 0

test_programs/execution_success/regression_7744/Prover.toml

@@ -1 +1,2 @@
-is_active=false
+is_active = false
+return = { x = "0x00", y = "0x05", is_infinite = false }

test_programs/execution_success/regression_7962/Prover.toml

@@ -1 +1,2 @@
-"v0" = "18446744073709551615"
+"v0" = "18446744073709551615"
+return = 0

test_programs/execution_success/regression_8235/Prover.toml

@@ -1 +1,2 @@
-a = false
+a = false
+return = 0

test_programs/execution_success/regression_8236/Prover.toml

@@ -3,4 +3,5 @@ a = [
     "0x000000000000000000000000000000000000000000000000000000000000472d",
     "0x00000000000000000000000000000000000000000000000000000000000046ce",
 ]
-b = [false]
+b = [false]
+return = 0

test_programs/execution_success/regression_8261/Prover.toml

@@ -25,4 +25,5 @@ c = [
         "0x000000000000000000000000000000000000000000000000000000000000c456",
         "\u001B\"",
     ],
-]
+]
+return = 692

test_programs/execution_success/regression_8329/Prover.toml

@@ -1,3 +1,4 @@
 x = 1
 y = 1
-z = 1
+z = 1
+return = 1

test_programs/execution_success/regression_8519/Prover.toml

@@ -1 +1,2 @@
-a = "0x000000000000000000000000000000000000000000000000131640459367fd34"
+a = "0x000000000000000000000000000000000000000000000000131640459367fd34"
+return = "53438638232309528388129535304893203149"

test_programs/execution_success/regression_8558/Prover.toml

@@ -1,2 +1,3 @@
 v1 = 0
-v2 = false
+v2 = false
+return = 0

test_programs/execution_success/regression_8726/Prover.toml

@@ -1 +1,2 @@
-x = "-9223372036854775808" # MIN I64
+x = "-9223372036854775808"      # MIN I64
+return = "-9223372036854775808"

test_programs/execution_success/regression_8755/Prover.toml

@@ -0,0 +1 @@
+return = "0x0a7b42b36ae0ac4cefcf78a9e9b00e67a6a402a68ab81bdc904f41fac753cc81"

test_programs/execution_success/regression_8761/Prover.toml

@@ -0,0 +1 @@
+return = 1

test_programs/execution_success/regression_struct_array_conditional/Prover.toml

@@ -1,8 +1,9 @@
 y = 1
 z = 1
+return = 10
 
 [[x]]
-value =  "0x23de33be058ce5504e1ade738db8bdacfe268fa9dbde777092bf1d38519bdf59"
+value = "0x23de33be058ce5504e1ade738db8bdacfe268fa9dbde777092bf1d38519bdf59"
 counter = "10"
 dummy = "0"
 
@@ -15,4 +16,3 @@ dummy = "0"
 value = "2"
 counter = "0"
 dummy = "0"
-

test_programs/execution_success/signed_inactive_division_by_zero/Prover.toml

@@ -1,3 +1,4 @@
 a = "1"
 b = "0"
-condition = false
+condition = false
+return = 0

test_programs/execution_success/signed_overflow_in_else_regression_8617/Prover.toml

@@ -1,2 +1,3 @@
 a = "-0x000000000000000000000000000000000000000000000000000000002df86759"
-c = true
+c = true
+return = -771254105

test_programs/execution_success/simple_add_and_ret_arr/Prover.toml

@@ -1 +1,2 @@
-x = 1
+x = 1
+return = [2]

test_programs/execution_success/simple_array_param/Prover.toml

@@ -1 +1,2 @@
 xs = [0, 1]
+return = 1

test_programs/execution_success/simple_bitwise/Prover.toml

@@ -2,3 +2,4 @@ a = 1
 b = 0
 c = "10"
 d = "11"
+return = 24

test_programs/execution_success/simple_mut/Prover.toml

@@ -1 +1,2 @@
 x = 1
+return = 3

test_programs/execution_success/simple_not/Prover.toml

@@ -1 +1,2 @@
-x = false
+x = false
+return = 1

test_programs/execution_success/simple_program_addition/Prover.toml

@@ -1 +1,2 @@
 x = "3"
+return = 4

test_programs/execution_success/simple_shield/Prover.toml

@@ -9,3 +9,7 @@ note_hash_path = [
 ]
 to_pubkey_x = "0x0000000000000000000000000000000000000000000000000000000000000001"
 to_pubkey_y = "0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c"
+return = [
+    "0x2b3e2281b493baa4497aa5fe5abf9f340f43bd9c4a65dcb1cda20dc210058870",
+    "0x1e2d117a1b344bd3ff0cf1d5f860f02cd8b27f6b8ccd2e844852f2c93d36f4aa",
+]

test_programs/execution_success/struct_array_inputs/Prover.toml

@@ -1,3 +1,5 @@
+return = 3
+
 [[foos]]
 bar = 0
 baz = 0

test_programs/execution_success/struct_inputs/Prover.toml

@@ -1,4 +1,5 @@
 x = "5"
+return = 1
 
 [y]
 foo = "5"

test_programs/execution_success/to_be_bytes/Prover.toml

@@ -1 +1,2 @@
 x = "2040124"
+return = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 31, 33, 60]

test_programs/execution_success/to_le_bytes/Prover.toml

@@ -1,2 +1,3 @@
 x = "2040124"
-cond = false
+cond = false
+return = [60, 33, 31, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

test_programs/execution_success/tuple_inputs/Prover.toml

@@ -1,5 +1,6 @@
 pair = [1, 0]
 x = [[0, 1, 2], [3, 4, 5]]
+return = [2, 1]
 
 [[struct_pair]]
 a = "1"
@@ -9,4 +10,4 @@ b = ["2", "3", "20"]
 inner = ["100", "101", "102"]
 
 [[struct_pair]]
-inner = ["103", "104", "105"] 
+inner = ["103", "104", "105"]

test_programs/execution_success/unrolling_regression_8333/Prover.toml

@@ -0,0 +1 @@
+return = [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]

test_programs/execution_success/while_loop_break_regression_8521/Prover.toml

@@ -1 +1,2 @@
 x = 0
+return = "SQF"

test_programs/execution_success/wildcard_type/Prover.toml

@@ -1 +1,2 @@
-enable = [4,7]
+enable = [4, 7]
+return = [7, 14, 10, 6]

test_programs/execution_success/witness_compression/Prover.toml

@@ -1,2 +1,3 @@
 x = "1"
 y = "2"
+return = 3