test_production_reachability = executable(
  'test_production_reachability',
  'test_production_reachability.cpp',
  dependencies: [fold_core_dep, catch2_dep],
)

test('production_reachability', test_production_reachability)

test_production_roots = executable(
  'test_production_roots',
  'test_production_roots.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('production_roots', test_production_roots)

test_configuration_profile = executable(
  'test_configuration_profile',
  'test_configuration_profile.cpp',
  dependencies: [fold_core_dep, catch2_dep, json_dep],
  install: false,
  build_by_default: false,
)
test('configuration_profile', test_configuration_profile)

test_config_guard = executable(
  'test_config_guard',
  'test_config_guard.cpp',
  dependencies: [fold_core_dep, catch2_dep, json_dep],
  install: false,
  build_by_default: false,
)
test('config_guard', test_config_guard)

test_hash = executable(
  'test_hash',
  'test_hash.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('hash', test_hash)

test_cfg_walker = executable(
  'test_cfg_walker',
  'test_cfg_walker.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('cfg_walker', test_cfg_walker)

test_dead_branch = executable(
  'test_dead_branch',
  'test_dead_branch.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('dead_branch', test_dead_branch)

test_equiv = executable(
  'test_equiv',
  'test_equiv.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('equiv', test_equiv)

test_class_dup = executable(
  'test_class_dup',
  'test_class_dup.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('class_dup', test_class_dup)

test_clone = executable(
  'test_clone',
  'test_clone.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('clone', test_clone)

test_edit_distance = executable(
  'test_edit_distance',
  'test_edit_distance.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('edit_distance', test_edit_distance)

test_cross_tu_equiv = executable(
  'test_cross_tu_equiv',
  'test_cross_tu_equiv.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('cross_tu_equiv', test_cross_tu_equiv)

test_div_by_zero = executable(
  'test_div_by_zero',
  'test_div_by_zero.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('div_by_zero', test_div_by_zero)

test_encoder_nonnull = executable(
  'test_encoder_nonnull',
  'test_encoder_nonnull.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('encoder_nonnull', test_encoder_nonnull)

test_assumption_provenance = executable(
  'test_assumption_provenance',
  'test_assumption_provenance.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('assumption_provenance', test_assumption_provenance)

test_loop_bound_pin = executable(
  'test_loop_bound_pin',
  'test_loop_bound_pin.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('loop_bound_pin', test_loop_bound_pin)

test_unreachable = executable(
  'test_unreachable',
  'test_unreachable.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('unreachable', test_unreachable)

test_taint_sanitizer = executable(
  'test_taint_sanitizer',
  'test_taint_sanitizer.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('taint_sanitizer', test_taint_sanitizer)

test_taint_interproc = executable(
  'test_taint_interproc',
  'test_taint_interproc.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('taint_interproc', test_taint_interproc)

test_int_truncation_explicit_cast = executable(
  'test_int_truncation_explicit_cast',
  'test_int_truncation_explicit_cast.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('int_truncation_explicit_cast', test_int_truncation_explicit_cast)

test_always_condition_freestanding = executable(
  'test_always_condition_freestanding',
  'test_always_condition_freestanding.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('always_condition_freestanding', test_always_condition_freestanding)

test_loop_exit_soundness = executable(
  'test_loop_exit_soundness',
  'test_loop_exit_soundness.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('loop_exit_soundness', test_loop_exit_soundness)

test_library_callee_identity = executable(
  'test_library_callee_identity',
  'test_library_callee_identity.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('library_callee_identity', test_library_callee_identity)

test_proved_requires_exact_model = executable(
  'test_proved_requires_exact_model',
  'test_proved_requires_exact_model.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('proved_requires_exact_model', test_proved_requires_exact_model)

test_scan_coverage = executable(
  'test_scan_coverage',
  'test_scan_coverage.cpp',
  dependencies: [fold_core_dep, catch2_dep, json_dep],
  install: false,
  build_by_default: false,
)
test('scan_coverage', test_scan_coverage)

test_summary_key_identity = executable(
  'test_summary_key_identity',
  'test_summary_key_identity.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('summary_key_identity', test_summary_key_identity)

test_batch_safety_observer = executable(
  'test_batch_safety_observer',
  'test_batch_safety_observer.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('batch_safety_observer', test_batch_safety_observer)

test_null_deref = executable(
  'test_null_deref',
  'test_null_deref.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('null_deref', test_null_deref)

test_int_overflow = executable(
  'test_int_overflow',
  'test_int_overflow.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('int_overflow', test_int_overflow)

test_int_truncation = executable(
  'test_int_truncation',
  'test_int_truncation.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('int_truncation', test_int_truncation)

test_sign_conversion = executable(
  'test_sign_conversion',
  'test_sign_conversion.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('sign_conversion', test_sign_conversion)

test_oob_access = executable(
  'test_oob_access',
  'test_oob_access.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('oob_access', test_oob_access)

test_symbolic_summary = executable(
  'test_symbolic_summary',
  'test_symbolic_summary.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('symbolic_summary', test_symbolic_summary)

test_cost_summary = executable(
  'test_cost_summary',
  'test_cost_summary.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('cost_summary', test_cost_summary)

test_loop_inventory = executable(
  'test_loop_inventory',
  'test_loop_inventory.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('loop_inventory', test_loop_inventory)

test_summary_encoder_phi_nonnull = executable(
  'test_summary_encoder_phi_nonnull',
  'test_summary_encoder_phi_nonnull.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('summary_encoder_phi_nonnull', test_summary_encoder_phi_nonnull)

test_expr_json_roundtrip = executable(
  'test_expr_json_roundtrip',
  'test_expr_json_roundtrip.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('expr_json_roundtrip', test_expr_json_roundtrip)

test_confirmation_task = executable(
  'test_confirmation_task',
  'test_confirmation_task.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('confirmation_task', test_confirmation_task)

test_fact_id = executable(
  'test_fact_id',
  'test_fact_id.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('fact_id', test_fact_id)

test_symbolic_arrays = executable(
  'test_symbolic_arrays',
  'test_symbolic_arrays.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('symbolic_arrays', test_symbolic_arrays)

test_model_validation = executable(
  'test_model_validation',
  'test_model_validation.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('model_validation', test_model_validation)

test_constraint_slice = executable(
  'test_constraint_slice',
  'test_constraint_slice.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('constraint_slice', test_constraint_slice)

test_signal_isolation = executable(
  'test_signal_isolation',
  'test_signal_isolation.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('signal_isolation', test_signal_isolation)

test_tu_quarantine = executable(
  'test_tu_quarantine',
  'test_tu_quarantine.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('tu_quarantine', test_tu_quarantine)

test_scan_router_profile = executable(
  'test_scan_router_profile',
  'test_scan_router_profile.cpp',
  '../../src/cli/profile.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('scan_router_profile', test_scan_router_profile)

test_scan_option_catalog = executable(
  'test_scan_option_catalog',
  'test_scan_option_catalog.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('scan_option_catalog', test_scan_option_catalog)

test_mcp_input_policy = executable(
  'test_mcp_input_policy',
  'test_mcp_input_policy.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('mcp_input_policy', test_mcp_input_policy)

test_detector_plan = executable(
  'test_detector_plan',
  'test_detector_plan.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('detector_plan', test_detector_plan)

test_dead_statement = executable(
  'test_dead_statement',
  'test_dead_statement.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('dead_statement', test_dead_statement)

test_quality_precision = executable(
  'test_quality_precision',
  'test_quality_precision.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('quality_precision', test_quality_precision)

test_complexity = executable(
  'test_complexity',
  'test_complexity.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('complexity', test_complexity)

test_detector_profile_accum = executable(
  'test_detector_profile_accum',
  'test_detector_profile_accum.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('detector_profile_accum', test_detector_profile_accum)

test_source_tu_runner = executable(
  'test_source_tu_runner',
  'test_source_tu_runner.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('source_tu_runner', test_source_tu_runner)

test_security_walker_analysis = executable(
  'test_security_walker_analysis',
  'test_security_walker_analysis.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('security_walker_analysis', test_security_walker_analysis)

test_source_loc = executable(
  'test_source_loc',
  'test_source_loc.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('source_loc', test_source_loc)

test_access_path = executable(
  'test_access_path',
  'test_access_path.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('access_path', test_access_path)

test_encoder_callee_predicates = executable(
  'test_encoder_callee_predicates',
  'test_encoder_callee_predicates.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('encoder_callee_predicates', test_encoder_callee_predicates)

test_encoder_callee_names = executable(
  'test_encoder_callee_names',
  'test_encoder_callee_names.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('encoder_callee_names', test_encoder_callee_names)

test_encoder_coerce = executable(
  'test_encoder_coerce',
  'test_encoder_coerce.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('encoder_coerce', test_encoder_coerce)

test_encoder_reachability = executable(
  'test_encoder_reachability',
  'test_encoder_reachability.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('encoder_reachability', test_encoder_reachability)

test_symbolic_env_nonnull = executable(
  'test_symbolic_env_nonnull',
  'test_symbolic_env_nonnull.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('symbolic_env_nonnull', test_symbolic_env_nonnull)

test_source_path_state = executable(
  'test_source_path_state',
  'test_source_path_state.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('source_path_state', test_source_path_state)

test_guarded_facts = executable(
  'test_guarded_facts',
  'test_guarded_facts.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('guarded_facts', test_guarded_facts)

test_cross_tu_cache_io = executable(
  'test_cross_tu_cache_io',
  'test_cross_tu_cache_io.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('cross_tu_cache_io', test_cross_tu_cache_io)

test_cross_tu_cache_provenance = executable(
  'test_cross_tu_cache_provenance',
  'test_cross_tu_cache_provenance.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('cross_tu_cache_provenance', test_cross_tu_cache_provenance)

test_encoder_summary_instantiate = executable(
  'test_encoder_summary_instantiate',
  'test_encoder_summary_instantiate.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('encoder_summary_instantiate', test_encoder_summary_instantiate)

test_model_to_bytes = executable(
  'test_model_to_bytes',
  'test_model_to_bytes.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('model_to_bytes', test_model_to_bytes)

test_harness_emitter = executable(
  'test_harness_emitter',
  'test_harness_emitter.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('harness_emitter', test_harness_emitter)

test_corpus_writer = executable(
  'test_corpus_writer',
  'test_corpus_writer.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('corpus_writer', test_corpus_writer)

test_asan_parser = executable(
  'test_asan_parser',
  'test_asan_parser.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('asan_parser', test_asan_parser)

test_prediction_match = executable(
  'test_prediction_match',
  'test_prediction_match.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('prediction_match', test_prediction_match)

test_boundary_seeds = executable(
  'test_boundary_seeds',
  'test_boundary_seeds.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('boundary_seeds', test_boundary_seeds)

test_dict_miner = executable(
  'test_dict_miner',
  'test_dict_miner.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('dict_miner', test_dict_miner)

test_taint_propagation = executable(
  'test_taint_propagation',
  'test_taint_propagation.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('taint_propagation', test_taint_propagation)

test_sql_injection = executable(
  'test_sql_injection',
  'test_sql_injection.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('sql_injection', test_sql_injection)

test_taint_track = executable(
  'test_taint_track',
  'test_taint_track.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('taint_track', test_taint_track)

test_uninit_pre_pass = executable(
  'test_uninit_pre_pass',
  'test_uninit_pre_pass.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('uninit_pre_pass', test_uninit_pre_pass)

test_function_contracts = executable(
  'test_function_contracts',
  'test_function_contracts.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('function_contracts', test_function_contracts)

test_deprecated_api = executable(
  'test_deprecated_api',
  'test_deprecated_api.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('deprecated_api', test_deprecated_api)

test_weak_crypto = executable(
  'test_weak_crypto',
  'test_weak_crypto.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('weak_crypto', test_weak_crypto)

test_hardcoded_credential = executable(
  'test_hardcoded_credential',
  'test_hardcoded_credential.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('hardcoded_credential', test_hardcoded_credential)

test_serialize_letbindings = executable(
  'test_serialize_letbindings',
  'test_serialize_letbindings.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('serialize_letbindings', test_serialize_letbindings)

test_minimal_witness = executable(
  'test_minimal_witness',
  'test_minimal_witness.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('minimal_witness', test_minimal_witness)

test_uninit_local_read = executable(
  'test_uninit_local_read',
  'test_uninit_local_read.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('uninit_local_read', test_uninit_local_read)

test_use_after_free = executable(
  'test_use_after_free',
  'test_use_after_free.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('use_after_free', test_use_after_free)

test_rust_ir_encoder = executable(
  'test_rust_ir_encoder',
  'test_rust_ir_encoder.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('rust_ir_encoder', test_rust_ir_encoder)

test_cross_detector_dedup = executable(
  'test_cross_detector_dedup',
  'test_cross_detector_dedup.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('cross_detector_dedup', test_cross_detector_dedup)

test_patch_writer = executable(
  'test_patch_writer',
  'test_patch_writer.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('patch_writer', test_patch_writer)

test_fix_its = executable(
  'test_fix_its',
  'test_fix_its.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('fix_its', test_fix_its)

test_memcpy_lambda = executable(
  'test_memcpy_lambda',
  'test_memcpy_lambda.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('memcpy_lambda', test_memcpy_lambda)

test_summary_cache = executable(
  'test_summary_cache',
  'test_summary_cache.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('summary_cache', test_summary_cache)

test_ai_pre_pass = executable(
  'test_ai_pre_pass',
  'test_ai_pre_pass.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('ai_pre_pass', test_ai_pre_pass)

test_observer_ir = executable(
  'test_observer_ir',
  'test_observer_ir.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('observer_ir', test_observer_ir)

test_binary_expr = executable(
  'test_binary_expr',
  'test_binary_expr.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('binary_expr', test_binary_expr)

test_binary_hardcoded_strings = executable(
  'test_binary_hardcoded_strings',
  'test_binary_hardcoded_strings.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('binary_hardcoded_strings', test_binary_hardcoded_strings)

test_binary_bb_observer = executable(
  'test_binary_bb_observer',
  'test_binary_bb_observer.cpp',
  dependencies: [fold_core_dep, catch2_dep, z3_dep],
  install: false,
  build_by_default: false,
)
test('binary_bb_observer', test_binary_bb_observer)

test_tu_security_prefilter = executable(
  'test_tu_security_prefilter',
  'test_tu_security_prefilter.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('tu_security_prefilter', test_tu_security_prefilter)

test_function_enumeration = executable(
  'test_function_enumeration',
  'test_function_enumeration.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('function_enumeration', test_function_enumeration)

test_ir_loop = executable(
  'test_ir_loop',
  'test_ir_loop.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('ir_loop', test_ir_loop)

test_loop_summary = executable(
  'test_loop_summary',
  'test_loop_summary.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('loop_summary', test_loop_summary)

test_binary_uaf = executable(
  'test_binary_uaf',
  'test_binary_uaf.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('binary_uaf', test_binary_uaf)

test_rop_gadgets = executable(
  'test_rop_gadgets',
  'test_rop_gadgets.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('rop_gadgets', test_rop_gadgets)

test_pcode_summary = executable(
  'test_pcode_summary',
  'test_pcode_summary.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('pcode_summary', test_pcode_summary)

test_rop_chain = executable(
  'test_rop_chain',
  'test_rop_chain.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('rop_chain', test_rop_chain)

test_gadget_semantics = executable(
  'test_gadget_semantics',
  'test_gadget_semantics.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('gadget_semantics', test_gadget_semantics)

# Capstone overlapping gadget scanner — only when Capstone is enabled.
if capstone_dep.found()
  test_gadget_capstone = executable(
    'test_gadget_capstone',
    'test_gadget_capstone.cpp',
    dependencies: [fold_core_dep, catch2_dep],
    install: false,
    build_by_default: false,
  )
  test('gadget_capstone', test_gadget_capstone)
endif

test_binary_const_hazards = executable(
  'test_binary_const_hazards',
  'test_binary_const_hazards.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('binary_const_hazards', test_binary_const_hazards)

test_r2_session = executable(
  'test_r2_session',
  'test_r2_session.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('r2_session', test_r2_session)

test_pcode_encoder = executable(
  'test_pcode_encoder',
  'test_pcode_encoder.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('pcode_encoder', test_pcode_encoder)

test_project_call_graph = executable(
  'test_project_call_graph',
  'test_project_call_graph.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('project_call_graph', test_project_call_graph)

test_project_index = executable(
  'test_project_index',
  'test_project_index.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('project_index', test_project_index)

test_finding_query = executable(
  'test_finding_query',
  'test_finding_query.cpp',
  dependencies: [fold_core_dep, catch2_dep],
  install: false,
  build_by_default: false,
)
test('finding_query', test_finding_query)