chore: remove unnecessary Prover.tomls (#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.
noir-lang · Sep 24, 2024 · b4d43d4 · b4d43d4
1 parent 7a378cf
commit b4d43d4
Show file tree

Hide file tree

Showing 29 changed files with 0 additions and 20 deletions.
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
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
diff --git a/test_programs/compile_success_empty/brillig_modulo/Prover.toml b/test_programs/compile_success_empty/brillig_modulo/Prover.toml
diff --git a/test_programs/compile_success_empty/comptime_recursion_regression/Prover.toml b/test_programs/compile_success_empty/comptime_recursion_regression/Prover.toml
diff --git a/test_programs/compile_success_empty/conditional_regression_579/Prover.toml b/test_programs/compile_success_empty/conditional_regression_579/Prover.toml
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
diff --git a/test_programs/compile_success_empty/instruction_deduplication/Prover.toml b/test_programs/compile_success_empty/instruction_deduplication/Prover.toml
diff --git a/test_programs/compile_success_empty/let_stmt/Prover.toml b/test_programs/compile_success_empty/let_stmt/Prover.toml
diff --git a/test_programs/compile_success_empty/no_duplicate_methods/Prover.toml b/test_programs/compile_success_empty/no_duplicate_methods/Prover.toml
diff --git a/test_programs/compile_success_empty/numeric_generics/Prover.toml b/test_programs/compile_success_empty/numeric_generics/Prover.toml
diff --git a/test_programs/compile_success_empty/references_aliasing/Prover.toml b/test_programs/compile_success_empty/references_aliasing/Prover.toml
diff --git a/test_programs/compile_success_empty/regression_6077/Prover.toml b/test_programs/compile_success_empty/regression_6077/Prover.toml
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
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
diff --git a/test_programs/compile_success_empty/simple_range/Prover.toml b/test_programs/compile_success_empty/simple_range/Prover.toml
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
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
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
diff --git a/test_programs/compile_success_empty/trait_default_implementation/Prover.toml b/test_programs/compile_success_empty/trait_default_implementation/Prover.toml
diff --git a/test_programs/compile_success_empty/trait_function_calls/Prover.toml b/test_programs/compile_success_empty/trait_function_calls/Prover.toml
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
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
diff --git a/test_programs/compile_success_empty/trait_override_implementation/Prover.toml b/test_programs/compile_success_empty/trait_override_implementation/Prover.toml
diff --git a/test_programs/compile_success_empty/traits/Prover.toml b/test_programs/compile_success_empty/traits/Prover.toml
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
diff --git a/test_programs/compile_success_empty/vectors/Prover.toml b/test_programs/compile_success_empty/vectors/Prover.toml
diff --git a/test_programs/noir_test_failure/should_fail_mismatch/Prover.toml b/test_programs/noir_test_failure/should_fail_mismatch/Prover.toml
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
diff --git a/test_programs/noir_test_success/regression_4080/Prover.toml b/test_programs/noir_test_success/regression_4080/Prover.toml