diff --git a/test_programs/compile_success_no_bug/encrypted_log_regression/Nargo.toml b/test_programs/execution_success/encrypted_log_regression/Nargo.toml similarity index 100% rename from test_programs/compile_success_no_bug/encrypted_log_regression/Nargo.toml rename to test_programs/execution_success/encrypted_log_regression/Nargo.toml diff --git a/test_programs/execution_success/encrypted_log_regression/Prover.toml b/test_programs/execution_success/encrypted_log_regression/Prover.toml new file mode 100644 index 00000000000..7ca8c21a692 --- /dev/null +++ b/test_programs/execution_success/encrypted_log_regression/Prover.toml @@ -0,0 +1,9 @@ +# Using the smaller sizes defined in `main.nr`. +# The reason this program is in the `execution_success` directory is because +# `rebuild.sh` only goes over these programs, but all we really care about is +# any potential future bytecode size regression. +eph_pk_bytes = [1, 2, 3] +incoming_header_ciphertext = [1, 2] +incoming_body_ciphertext = [9, 8, 7, 6, 5, 4, 3, 2, 1] +flag = true +return = [1, 2, 3, 1, 2, 0, 9, 8, 7, 6, 5, 4, 3, 2, 1] diff --git a/test_programs/compile_success_no_bug/encrypted_log_regression/src/main.nr b/test_programs/execution_success/encrypted_log_regression/src/main.nr similarity index 100% rename from test_programs/compile_success_no_bug/encrypted_log_regression/src/main.nr rename to test_programs/execution_success/encrypted_log_regression/src/main.nr