From b4d43d41a65fa5cfad5cfb5f698b39c38efb2f2c Mon Sep 17 00:00:00 2001 From: Tom French <15848336+TomAFrench@users.noreply.github.com> Date: Tue, 24 Sep 2024 13:48:53 +0100 Subject: [PATCH] chore: remove unnecessary `Prover.toml`s (#6140) # Description ## Problem\* Resolves ## Summary\* These files are not necessary as we never execute these programs, let's then remove them. ## Additional Context ## Documentation\* Check one: - [x] No documentation needed. - [ ] Documentation included in this PR. - [ ] **[For Experimental Features]** Documentation to be submitted in a separate PR. # PR Checklist\* - [x] I have tested the changes locally. - [x] I have formatted the changes with [Prettier](https://prettier.io/) and/or `cargo fmt` on default settings. --- .../brillig_field_binary_operations/Prover.toml | 0 .../brillig_integer_binary_operations/Prover.toml | 0 test_programs/compile_success_empty/brillig_modulo/Prover.toml | 0 .../comptime_recursion_regression/Prover.toml | 2 -- .../conditional_regression_579/Prover.toml | 0 .../conditional_regression_to_bits/Prover.toml | 0 .../compile_success_empty/instruction_deduplication/Prover.toml | 0 test_programs/compile_success_empty/let_stmt/Prover.toml | 0 .../compile_success_empty/no_duplicate_methods/Prover.toml | 0 .../compile_success_empty/numeric_generics/Prover.toml | 0 .../compile_success_empty/references_aliasing/Prover.toml | 0 test_programs/compile_success_empty/regression_6077/Prover.toml | 1 - test_programs/compile_success_empty/ret_fn_ret_cl/Prover.toml | 1 - .../compile_success_empty/simple_program_no_body/Prover.toml | 2 -- test_programs/compile_success_empty/simple_range/Prover.toml | 1 - .../slice_init_with_complex_type/Prover.toml | 0 .../trait_allowed_item_name_matches/Prover.toml | 0 .../trait_associated_member_names_clashes/Prover.toml | 0 .../trait_default_implementation/Prover.toml | 2 -- .../compile_success_empty/trait_function_calls/Prover.toml | 0 .../compile_success_empty/trait_method_mut_self/Prover.toml | 2 -- .../compile_success_empty/trait_multi_module_test/Prover.toml | 0 .../trait_override_implementation/Prover.toml | 2 -- test_programs/compile_success_empty/traits/Prover.toml | 2 -- .../turbofish_call_func_diff_types/Prover.toml | 2 -- test_programs/compile_success_empty/vectors/Prover.toml | 2 -- .../noir_test_failure/should_fail_mismatch/Prover.toml | 0 .../should_fail_suite_with_one_failure/Prover.toml | 0 test_programs/noir_test_success/regression_4080/Prover.toml | 1 - 29 files changed, 20 deletions(-) delete mode 100644 test_programs/compile_success_empty/brillig_field_binary_operations/Prover.toml delete mode 100644 test_programs/compile_success_empty/brillig_integer_binary_operations/Prover.toml delete mode 100644 test_programs/compile_success_empty/brillig_modulo/Prover.toml delete mode 100644 test_programs/compile_success_empty/comptime_recursion_regression/Prover.toml delete mode 100644 test_programs/compile_success_empty/conditional_regression_579/Prover.toml delete mode 100644 test_programs/compile_success_empty/conditional_regression_to_bits/Prover.toml delete mode 100644 test_programs/compile_success_empty/instruction_deduplication/Prover.toml delete mode 100644 test_programs/compile_success_empty/let_stmt/Prover.toml delete mode 100644 test_programs/compile_success_empty/no_duplicate_methods/Prover.toml delete mode 100644 test_programs/compile_success_empty/numeric_generics/Prover.toml delete mode 100644 test_programs/compile_success_empty/references_aliasing/Prover.toml delete mode 100644 test_programs/compile_success_empty/regression_6077/Prover.toml delete mode 100644 test_programs/compile_success_empty/ret_fn_ret_cl/Prover.toml delete mode 100644 test_programs/compile_success_empty/simple_program_no_body/Prover.toml delete mode 100644 test_programs/compile_success_empty/simple_range/Prover.toml delete mode 100644 test_programs/compile_success_empty/slice_init_with_complex_type/Prover.toml delete mode 100644 test_programs/compile_success_empty/trait_allowed_item_name_matches/Prover.toml delete mode 100644 test_programs/compile_success_empty/trait_associated_member_names_clashes/Prover.toml delete mode 100644 test_programs/compile_success_empty/trait_default_implementation/Prover.toml delete mode 100644 test_programs/compile_success_empty/trait_function_calls/Prover.toml delete mode 100644 test_programs/compile_success_empty/trait_method_mut_self/Prover.toml delete mode 100644 test_programs/compile_success_empty/trait_multi_module_test/Prover.toml delete mode 100644 test_programs/compile_success_empty/trait_override_implementation/Prover.toml delete mode 100644 test_programs/compile_success_empty/traits/Prover.toml delete mode 100644 test_programs/compile_success_empty/turbofish_call_func_diff_types/Prover.toml delete mode 100644 test_programs/compile_success_empty/vectors/Prover.toml delete mode 100644 test_programs/noir_test_failure/should_fail_mismatch/Prover.toml delete mode 100644 test_programs/noir_test_failure/should_fail_suite_with_one_failure/Prover.toml delete mode 100644 test_programs/noir_test_success/regression_4080/Prover.toml diff --git a/test_programs/compile_success_empty/brillig_field_binary_operations/Prover.toml b/test_programs/compile_success_empty/brillig_field_binary_operations/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/brillig_integer_binary_operations/Prover.toml b/test_programs/compile_success_empty/brillig_integer_binary_operations/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/brillig_modulo/Prover.toml b/test_programs/compile_success_empty/brillig_modulo/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/comptime_recursion_regression/Prover.toml b/test_programs/compile_success_empty/comptime_recursion_regression/Prover.toml deleted file mode 100644 index 745ce7c2361..00000000000 --- a/test_programs/compile_success_empty/comptime_recursion_regression/Prover.toml +++ /dev/null @@ -1,2 +0,0 @@ -x = 5 -y = 6 diff --git a/test_programs/compile_success_empty/conditional_regression_579/Prover.toml b/test_programs/compile_success_empty/conditional_regression_579/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/conditional_regression_to_bits/Prover.toml b/test_programs/compile_success_empty/conditional_regression_to_bits/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/instruction_deduplication/Prover.toml b/test_programs/compile_success_empty/instruction_deduplication/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/let_stmt/Prover.toml b/test_programs/compile_success_empty/let_stmt/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/no_duplicate_methods/Prover.toml b/test_programs/compile_success_empty/no_duplicate_methods/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/numeric_generics/Prover.toml b/test_programs/compile_success_empty/numeric_generics/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/references_aliasing/Prover.toml b/test_programs/compile_success_empty/references_aliasing/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/regression_6077/Prover.toml b/test_programs/compile_success_empty/regression_6077/Prover.toml deleted file mode 100644 index ba3522cab01..00000000000 --- a/test_programs/compile_success_empty/regression_6077/Prover.toml +++ /dev/null @@ -1 +0,0 @@ -a = 0 diff --git a/test_programs/compile_success_empty/ret_fn_ret_cl/Prover.toml b/test_programs/compile_success_empty/ret_fn_ret_cl/Prover.toml deleted file mode 100644 index 3a627b9188b..00000000000 --- a/test_programs/compile_success_empty/ret_fn_ret_cl/Prover.toml +++ /dev/null @@ -1 +0,0 @@ -x = "10" diff --git a/test_programs/compile_success_empty/simple_program_no_body/Prover.toml b/test_programs/compile_success_empty/simple_program_no_body/Prover.toml deleted file mode 100644 index c2b2ccfd9f1..00000000000 --- a/test_programs/compile_success_empty/simple_program_no_body/Prover.toml +++ /dev/null @@ -1,2 +0,0 @@ -_x = "3" -_y = "4" diff --git a/test_programs/compile_success_empty/simple_range/Prover.toml b/test_programs/compile_success_empty/simple_range/Prover.toml deleted file mode 100644 index 07890234a19..00000000000 --- a/test_programs/compile_success_empty/simple_range/Prover.toml +++ /dev/null @@ -1 +0,0 @@ -x = "3" diff --git a/test_programs/compile_success_empty/slice_init_with_complex_type/Prover.toml b/test_programs/compile_success_empty/slice_init_with_complex_type/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/trait_allowed_item_name_matches/Prover.toml b/test_programs/compile_success_empty/trait_allowed_item_name_matches/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/trait_associated_member_names_clashes/Prover.toml b/test_programs/compile_success_empty/trait_associated_member_names_clashes/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/trait_default_implementation/Prover.toml b/test_programs/compile_success_empty/trait_default_implementation/Prover.toml deleted file mode 100644 index 71805e71e8e..00000000000 --- a/test_programs/compile_success_empty/trait_default_implementation/Prover.toml +++ /dev/null @@ -1,2 +0,0 @@ -x = "5" -y = "1" \ No newline at end of file diff --git a/test_programs/compile_success_empty/trait_function_calls/Prover.toml b/test_programs/compile_success_empty/trait_function_calls/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/trait_method_mut_self/Prover.toml b/test_programs/compile_success_empty/trait_method_mut_self/Prover.toml deleted file mode 100644 index f28f2f8cc48..00000000000 --- a/test_programs/compile_success_empty/trait_method_mut_self/Prover.toml +++ /dev/null @@ -1,2 +0,0 @@ -x = "5" -y = "10" diff --git a/test_programs/compile_success_empty/trait_multi_module_test/Prover.toml b/test_programs/compile_success_empty/trait_multi_module_test/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/compile_success_empty/trait_override_implementation/Prover.toml b/test_programs/compile_success_empty/trait_override_implementation/Prover.toml deleted file mode 100644 index 71805e71e8e..00000000000 --- a/test_programs/compile_success_empty/trait_override_implementation/Prover.toml +++ /dev/null @@ -1,2 +0,0 @@ -x = "5" -y = "1" \ No newline at end of file diff --git a/test_programs/compile_success_empty/traits/Prover.toml b/test_programs/compile_success_empty/traits/Prover.toml deleted file mode 100644 index 71805e71e8e..00000000000 --- a/test_programs/compile_success_empty/traits/Prover.toml +++ /dev/null @@ -1,2 +0,0 @@ -x = "5" -y = "1" \ No newline at end of file diff --git a/test_programs/compile_success_empty/turbofish_call_func_diff_types/Prover.toml b/test_programs/compile_success_empty/turbofish_call_func_diff_types/Prover.toml deleted file mode 100644 index f28f2f8cc48..00000000000 --- a/test_programs/compile_success_empty/turbofish_call_func_diff_types/Prover.toml +++ /dev/null @@ -1,2 +0,0 @@ -x = "5" -y = "10" diff --git a/test_programs/compile_success_empty/vectors/Prover.toml b/test_programs/compile_success_empty/vectors/Prover.toml deleted file mode 100644 index f28f2f8cc48..00000000000 --- a/test_programs/compile_success_empty/vectors/Prover.toml +++ /dev/null @@ -1,2 +0,0 @@ -x = "5" -y = "10" diff --git a/test_programs/noir_test_failure/should_fail_mismatch/Prover.toml b/test_programs/noir_test_failure/should_fail_mismatch/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/noir_test_failure/should_fail_suite_with_one_failure/Prover.toml b/test_programs/noir_test_failure/should_fail_suite_with_one_failure/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/test_programs/noir_test_success/regression_4080/Prover.toml b/test_programs/noir_test_success/regression_4080/Prover.toml deleted file mode 100644 index 0e5dfd5638d..00000000000 --- a/test_programs/noir_test_success/regression_4080/Prover.toml +++ /dev/null @@ -1 +0,0 @@ -x = "5"