1# Copyright (c) 2021-2022 Huawei Device Co., Ltd. 2# Licensed under the Apache License, Version 2.0 (the "License"); 3# you may not use this file except in compliance with the License. 4# You may obtain a copy of the License at 5# 6# http://www.apache.org/licenses/LICENSE-2.0 7# 8# Unless required by applicable law or agreed to in writing, software 9# distributed under the License is distributed on an "AS IS" BASIS, 10# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 11# See the License for the specific language governing permissions and 12# limitations under the License. 13 14import("//arkcompiler/runtime_core/ark_config.gni") 15 16type_sources = [ 17 "$ark_root/verification/type/type_param.cpp", 18 "$ark_root/verification/type/type_parametric.cpp", 19 "$ark_root/verification/type/type_params.cpp", 20 "$ark_root/verification/type/type_set.cpp", 21 "$ark_root/verification/type/type_systems.cpp", 22 "$ark_root/verification/type/type_type.cpp", 23] 24 25value_sources = [] 26 27cflow_sources = [ 28 "$ark_root/verification/cflow/cflow_check.cpp", 29 "$ark_root/verification/cflow/cflow_common.cpp", 30 "$ark_root/verification/cflow/cflow_info.cpp", 31] 32 33util_sources = [] 34 35absint_sources = [ 36 "$ark_root/verification/absint/abs_int_inl.cpp", 37 "$ark_root/verification/absint/absint.cpp", 38 "$ark_root/verification/absint/panda_types.cpp", 39] 40 41config_sources = [ 42 "$ark_root/verification/config/config_load.cpp", 43 "$ark_root/verification/config/context/context.cpp", 44 "$ark_root/verification/config/debug_breakpoint/breakpoint.cpp", 45 "$ark_root/verification/config/debug_breakpoint/config_handler_breakpoints.cpp", 46 "$ark_root/verification/config/default/default_config.cpp", 47 "$ark_root/verification/config/handlers/config_handler_method_groups.cpp", 48 "$ark_root/verification/config/handlers/config_handler_method_options.cpp", 49 "$ark_root/verification/config/handlers/config_handler_options.cpp", 50 "$ark_root/verification/config/handlers/config_handler_whitelist.cpp", 51 "$ark_root/verification/config/parse/config_parse.cpp", 52 "$ark_root/verification/config/process/config_process.cpp", 53 "$ark_root/verification/config/whitelist/whitelist.cpp", 54] 55 56jobs_sources = [ 57 "$ark_root/verification/jobs/cache.cpp", 58 "$ark_root/verification/jobs/job.cpp", 59 "$ark_root/verification/jobs/thread_pool.cpp", 60] 61 62verifier_cache_sources = [ "$ark_root/verification/cache/results_cache.cpp" ] 63 64verifier_sources = [ "$ark_root/verification/verification_options.cpp" ] 65verifier_sources += type_sources 66verifier_sources += cflow_sources 67verifier_sources += absint_sources 68verifier_sources += config_sources 69verifier_sources += jobs_sources 70verifier_sources += verifier_cache_sources 71