disable unused targets

NilFoundation · Aug 16, 2024 · abeee77 · abeee77
1 parent d443419
commit abeee77
Show file tree

Hide file tree

Showing 2 changed files with 88 additions and 158 deletions.
diff --git a/run_tests.sh b/run_tests.sh
@@ -1,77 +1,7 @@
 #!/usr/bin/env bash
 set -e
 
-declare -a TEST_LIST=(\
-    "blueprint_algebra_fields_plonk_field_operations_test"
-    "blueprint_algebra_fields_plonk_exponentiation_test"
-    "blueprint_algebra_curves_plonk_unified_addition_test"
-    "blueprint_algebra_curves_plonk_variable_base_scalar_mul_test"
-    "blueprint_verifiers_kimchi_sponge_oracles_test"
-    "blueprint_hashes_plonk_poseidon_test"
-    "blueprint_algebra_curves_plonk_endo_scalar_test"
-    "blueprint_algebra_fields_plonk_range_check_test"
-    "blueprint_algebra_fields_plonk_logic_and_flag_test"
-    "blueprint_algebra_fields_plonk_logic_or_flag_test"
-    "blueprint_algebra_fields_plonk_interpolation_test"
-    "blueprint_algebra_fields_plonk_non_native_addition_test"
-    "blueprint_algebra_fields_plonk_non_native_subtraction_test"
-    "blueprint_algebra_fields_plonk_non_native_multiplication_test"
-    "blueprint_algebra_fields_plonk_non_native_range_test"
-    "blueprint_algebra_fields_plonk_non_native_reduction_test"
-    "blueprint_algebra_fields_plonk_non_native_bit_decomposition_test"
-    "blueprint_algebra_fields_plonk_non_native_bit_composition_test"
-    "blueprint_algebra_fields_plonk_non_native_bit_shift_constant_test"
-    "blueprint_algebra_fields_plonk_non_native_logic_ops_test"
-    "blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test"
-    "blueprint_algebra_fields_plonk_non_native_comparison_checked_test"
-    "blueprint_algebra_fields_plonk_non_native_comparison_unchecked_test"
-    "blueprint_algebra_fields_plonk_non_native_comparison_flag_test"
-    "blueprint_algebra_fields_plonk_non_native_equality_flag_test"
-    "blueprint_algebra_fields_plonk_non_native_division_remainder_test"
-    "blueprint_non_native_plonk_bool_scalar_multiplication_test"
-    "blueprint_non_native_plonk_add_mul_zkllvm_compatible_test"
-    "blueprint_hashes_plonk_decomposition_test"
-    "blueprint_verifiers_placeholder_fri_cosets_test"
-    "blueprint_hashes_plonk_sha256_process_test"
-    "blueprint_hashes_plonk_sha512_process_test"
-    "blueprint_hashes_plonk_sha256_test"
-    "blueprint_hashes_plonk_sha512_test"
-    "blueprint_algebra_fields_plonk_sqrt_test"
-    "blueprint_verifiers_placeholder_fri_lin_inter_test"
-    "blueprint_verifiers_placeholder_fri_array_swap_test"
-    "blueprint_manifest_test"
-    "blueprint_detail_huang_lu_test"
-    "blueprint_private_input_test"
-    "blueprint_verifiers_placeholder_permutation_argument_verifier_test"
-    "blueprint_verifiers_placeholder_gate_argument_verifier_test"
-    "blueprint_verifiers_placeholder_lookup_argument_verifier_test"
-    "blueprint_verifiers_placeholder_f1_loop_test"
-    "blueprint_verifiers_placeholder_f3_loop_test"
-    "blueprint_verifiers_placeholder_gate_component_test"
-    "blueprint_verifiers_flexible_pow_factor_test"
-    "blueprint_proxy_test"
-    "blueprint_component_batch_test"
-    "blueprint_verifiers_placeholder_expression_evaluation_component_test"
-    "blueprint_verifiers_placeholder_final_polynomial_check_test"
-    "blueprint_verifiers_flexible_swap_test"
-    "blueprint_verifiers_flexible_additions_test"
-    "blueprint_verifiers_flexible_multiplications_test"
-    "blueprint_verifiers_flexible_poseidon_test"
-    "blueprint_verifiers_flexible_constant_pow_test"
-    "blueprint_verifiers_placeholder_verifier_test"
-    "blueprint_zkevm_zkevm_word_test"
-    "blueprint_zkevm_bytecode_test"
-    "blueprint_zkevm_state_selector_test"
-    "blueprint_zkevm_state_transition_test"
-    "blueprint_zkevm_opcodes_iszero_test"
-    "blueprint_zkevm_opcodes_add_sub_test"
-    "blueprint_zkevm_opcodes_mul_test"
-    "blueprint_zkevm_opcodes_div_test"
-)
-#blueprint_non_native_plonk_scalar_non_native_range_test, TODO: enable once fixed.
-#blueprint_mock_mocked_components_test, TODO: Enable after code and test re-written.
-
 echo "building ${TEST_LIST[*]}"
-ninja -k 0 -j $NIX_BUILD_CORES ${TEST_LIST[*]}
+ninja -k 0 -j $NIX_BUILD_CORES
 
 echo "finish"
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
@@ -77,8 +77,8 @@ endmacro()
 set(COMMON_TEST_FILES
     "manifest"
     "detail/huang_lu"
-    "gate_id"
-    "utils/connectedness_check"
+    #"gate_id"
+    #"utils/connectedness_check"
     "private_input"
     "proxy"
     #"mock/mocked_components"
@@ -101,7 +101,7 @@ set(NON_NATIVE_TESTS_FILES
     "algebra/fields/plonk/non_native/division_remainder"
     "non_native/plonk/bool_scalar_multiplication"
     "non_native/plonk/add_mul_zkllvm_compatible"
-    "non_native/plonk/scalar_non_native_range"
+    #"non_native/plonk/scalar_non_native_range"
     )
 
 set(NON_NATIVE_TESTS_FILES_WITH_PROOF_GEN
@@ -112,60 +112,60 @@ set(NON_NATIVE_TESTS_FILES_WITH_PROOF_GEN
 set(PLONK_TESTS_FILES
     "algebra/curves/plonk/variable_base_scalar_mul"
     "algebra/curves/plonk/unified_addition"
-    "algebra/curves/plonk/variable_base_endo_scalar_mul"
+    #"algebra/curves/plonk/variable_base_endo_scalar_mul"
     "algebra/curves/plonk/endo_scalar"
     "hashes/plonk/poseidon"
     "hashes/plonk/sha256"
     "hashes/plonk/sha512"
     "hashes/plonk/sha256_process"
     "hashes/plonk/sha512_process"
     "hashes/plonk/decomposition"
-    "hashes/plonk/detail/sha_table_generators_base4"
-    "hashes/plonk/detail/sha_table_generators_base7"
-    "verifiers/kimchi/base_field"
-    "verifiers/kimchi/prepare_batch_scalar"
-    "verifiers/kimchi/verify_scalar"
-    "verifiers/kimchi/basic_verifier"
-    "verifiers/kimchi/table_commitment"
-    "verifiers/kimchi/demo_verifier"
-    "verifiers/kimchi/oracles_scalar"
-    "verifiers/kimchi/batch_verify_base_field"
-    "verifiers/kimchi/batch_verify_scalar_field"
-    "verifiers/kimchi/detail/lagrange_denominators"
-    "verifiers/kimchi/detail/b_poly"
-    "verifiers/kimchi/detail/b_poly_coefficients"
-    "verifiers/kimchi/detail/to_group"
-    "verifiers/kimchi/detail/public_evaluations"
-    "verifiers/kimchi/detail/prev_chal_evals"
-    "verifiers/kimchi/detail/ft_eval"
-    "verifiers/kimchi/detail/combine_proof_evals"
-    "verifiers/kimchi/detail//constraints/index_terms_scalars"
-    "verifiers/kimchi/detail/constraints/rpn_expression"
-    "verifiers/kimchi/detail/constraints/vanishes_on_last_4_rows"
-    "verifiers/kimchi/detail/constraints/unnormalized_lagrange_basis"
-    "verifiers/kimchi/detail/constraints/perm_scalars"
-    "verifiers/kimchi/detail/constraints/generic_scalars"
-    "verifiers/kimchi/detail/oracles_cip"
-    "verifiers/kimchi/detail/zk_w3"
-    "verifiers/kimchi/detail/prepare_scalars"
-    "verifiers/kimchi/detail/zkpm_evaluate"
-    "verifiers/kimchi/sponge/sponge"
+    #"hashes/plonk/detail/sha_table_generators_base4"
+    #"hashes/plonk/detail/sha_table_generators_base7"
+    #"verifiers/kimchi/base_field"
+    #"verifiers/kimchi/prepare_batch_scalar"
+    #"verifiers/kimchi/verify_scalar"
+    #"verifiers/kimchi/basic_verifier"
+    #"verifiers/kimchi/table_commitment"
+    #"verifiers/kimchi/demo_verifier"
+    #"verifiers/kimchi/oracles_scalar"
+    #"verifiers/kimchi/batch_verify_base_field"
+    #"verifiers/kimchi/batch_verify_scalar_field"
+    #"verifiers/kimchi/detail/lagrange_denominators"
+    #"verifiers/kimchi/detail/b_poly"
+    #"verifiers/kimchi/detail/b_poly_coefficients"
+    #"verifiers/kimchi/detail/to_group"
+    #"verifiers/kimchi/detail/public_evaluations"
+    #"verifiers/kimchi/detail/prev_chal_evals"
+    #"verifiers/kimchi/detail/ft_eval"
+    #"verifiers/kimchi/detail/combine_proof_evals"
+    #"verifiers/kimchi/detail//constraints/index_terms_scalars"
+    #"verifiers/kimchi/detail/constraints/rpn_expression"
+    #"verifiers/kimchi/detail/constraints/vanishes_on_last_4_rows"
+    #"verifiers/kimchi/detail/constraints/unnormalized_lagrange_basis"
+    #"verifiers/kimchi/detail/constraints/perm_scalars"
+    #"verifiers/kimchi/detail/constraints/generic_scalars"
+    #"verifiers/kimchi/detail/oracles_cip"
+    #"verifiers/kimchi/detail/zk_w3"
+    #"verifiers/kimchi/detail/prepare_scalars"
+    #"verifiers/kimchi/detail/zkpm_evaluate"
+    #"verifiers/kimchi/sponge/sponge"
     "verifiers/kimchi/sponge/oracles"
-    "verifiers/kimchi/sponge/transcript_fr"
-    "verifiers/kimchi/sponge/transcript_fq"
-    "verifiers/kimchi/sponge/compare"
+    #"verifiers/kimchi/sponge/transcript_fr"
+    #"verifiers/kimchi/sponge/transcript_fq"
+    #"verifiers/kimchi/sponge/compare"
     "algebra/fields/plonk/field_operations"
-    "algebra/fields/plonk/combined_inner_product"
-    "algebra/fields/plonk/element_powers"
+    #"algebra/fields/plonk/combined_inner_product"
+    #"algebra/fields/plonk/element_powers"
     "algebra/fields/plonk/exponentiation"
     "algebra/fields/plonk/sqrt"
     "algebra/fields/plonk/range_check"
     "algebra/fields/plonk/logic_and_flag"
     "algebra/fields/plonk/logic_or_flag"
     "algebra/fields/plonk/interpolation"
-    "verifiers/pickles/verify_heterogenous_scalar"
-    "verifiers/pickles/verify_heterogenous_base"
-    "verifiers/pickles/scalar_details/evals_of_split_evals"
+    #"verifiers/pickles/verify_heterogenous_scalar"
+    #"verifiers/pickles/verify_heterogenous_base"
+    #"verifiers/pickles/scalar_details/evals_of_split_evals"
     "verifiers/placeholder/permutation_argument_verifier"
     "verifiers/placeholder/gate_argument_verifier"
     "verifiers/placeholder/lookup_argument_verifier"
@@ -187,17 +187,17 @@ set(PLONK_TESTS_FILES
     "zkevm/bytecode"
     )
 
-set(FIELDS_TESTS_FILES
-    "algebra/fields/r1cs/fp2"
-    "algebra/fields/r1cs/fp2_verification"
-    "algebra/fields/r1cs/fp3"
-    "algebra/fields/r1cs/fp3_verification"
-    "algebra/fields/r1cs/fp4"
-    "algebra/fields/r1cs/fp4_verification"
-    "algebra/fields/r1cs/fp6_2over3"
-    "algebra/fields/r1cs/fp6_2over3_verification"
+#set(FIELDS_TESTS_FILES
+    #"algebra/fields/r1cs/fp2"
+    #"algebra/fields/r1cs/fp2_verification"
+    #"algebra/fields/r1cs/fp3"
+    #"algebra/fields/r1cs/fp3_verification"
+    #"algebra/fields/r1cs/fp4"
+    #"algebra/fields/r1cs/fp4_verification"
+    #"algebra/fields/r1cs/fp6_2over3"
+    #"algebra/fields/r1cs/fp6_2over3_verification"
     #"algebra/fields/r1cs/exponentiation"
-    )
+#    )
 
 set(ZKEVM_TESTS_FILES
     "zkevm/state_selector"
@@ -209,41 +209,41 @@ set(ZKEVM_TESTS_FILES
     "zkevm/opcodes/div"
     )
 
-set(CURVES_TESTS_FILES
-    "algebra/curves/r1cs/montgomery"
-    "algebra/curves/r1cs/twisted_edwards"
-    "algebra/curves/r1cs/fixed_base_mul_zcash"
-    )
-
-set(HASHES_TESTS_FILES
-    "hashes/r1cs/knapsack"
-    "hashes/r1cs/knapsack_verification"
-    "hashes/r1cs/sha256"
-    "hashes/r1cs/sha256_verification"
-    "hashes/r1cs/pedersen")
-
-set(PAIRING_TESTS_FILES
-    "algebra/pairing/weierstrass/r1cs/miller_loop"
-    "algebra/pairing/weierstrass/r1cs/precomputation")
-
-set(ROUTING_TESTS_FILES
-    "routing_algorithms/routing_algorithms"
-    "routing/r1cs/as_waksman"
-    "routing/r1cs/benes")
-
-set(SCHEMES_TESTS_FILES
-    "verifiers/r1cs_ppzksnark"
-    "set_commitment_component")
-
-set(MERKLE_TREE_TESTS_FILES
-    "merkle_tree_components")
-
-set(VOTING_TESTS_FILES
-    "voting/r1cs/encrypted_input_voting")
-
-set(BASIC_COMPONENTS_TESTS_FILES
-    "basic_components"
-    "basic_components_r1cs_gg_ppzksnark")
+#set(CURVES_TESTS_FILES
+    #"algebra/curves/r1cs/montgomery"
+    #"algebra/curves/r1cs/twisted_edwards"
+    #"algebra/curves/r1cs/fixed_base_mul_zcash"
+#    )
+
+#set(HASHES_TESTS_FILES
+    #"hashes/r1cs/knapsack"
+    #"hashes/r1cs/knapsack_verification"
+    #"hashes/r1cs/sha256"
+    #"hashes/r1cs/sha256_verification"
+    #"hashes/r1cs/pedersen")
+
+#set(PAIRING_TESTS_FILES
+    #"algebra/pairing/weierstrass/r1cs/miller_loop"
+    #"algebra/pairing/weierstrass/r1cs/precomputation")
+
+#set(ROUTING_TESTS_FILES
+    #"routing_algorithms/routing_algorithms"
+    #"routing/r1cs/as_waksman"
+    #"routing/r1cs/benes")
+
+#set(SCHEMES_TESTS_FILES
+    #"verifiers/r1cs_ppzksnark"
+    #"set_commitment_component")
+
+#set(MERKLE_TREE_TESTS_FILES
+#    "merkle_tree_components")
+
+#set(VOTING_TESTS_FILES
+#    "voting/r1cs/encrypted_input_voting")
+
+#set(BASIC_COMPONENTS_TESTS_FILES
+    #"basic_components"
+    #"basic_components_r1cs_gg_ppzksnark")
 
 SET(ALGEBRA_TESTS_FILES
     ${FIELDS_TESTS_FILES}