1# Copyright (c) 2021 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 14cmake_minimum_required(VERSION 3.10) 15 16project(arkverification_tests) 17 18include(${PANDA_ROOT}/verification/Verification.cmake) 19 20panda_add_gtest( 21 NO_CORES 22 NAME arkverification_tests 23 SOURCES 24 ${VERIFIER_TESTS_SOURCES} 25 LIBRARIES 26 arkruntime 27 arkbase 28 SANITIZERS 29 ${PANDA_SANITIZERS_LIST} 30) 31if(TARGET arkverification_tests) 32 target_include_directories(arkverification_tests PUBLIC ${PANDA_ROOT}) 33 target_compile_options(arkverification_tests PUBLIC "-Wno-ignored-attributes") 34endif() 35 36panda_add_sanitizers(TARGET arkverification_tests SANITIZERS ${PANDA_SANITIZERS_LIST}) 37 38add_check_style(".") 39