1 /** 2 * Copyright (c) 2021-2022 Huawei Device Co., Ltd. 3 * Licensed under the Apache License, Version 2.0 (the "License"); 4 * you may not use this file except in compliance with the License. 5 * You may obtain a copy of the License at 6 * 7 * http://www.apache.org/licenses/LICENSE-2.0 8 * 9 * Unless required by applicable law or agreed to in writing, software 10 * distributed under the License is distributed on an "AS IS" BASIS, 11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 * See the License for the specific language governing permissions and 13 * limitations under the License. 14 */ 15 16 #include "default_config.h" 17 18 namespace panda::verifier::config { 19 20 // NOLINTNEXTLINE(modernize-avoid-c-arrays) 21 const char VerifierDebugDefaultConfig[] = 22 "debug {\n" 23 " options {\n" 24 " verifier {\n" 25 " allow {\n" 26 " undefined-method\n" 27 " }\n" 28 " }\n" 29 " }\n" 30 " method_options {\n" 31 " verifier {\n" 32 " default {\n" 33 " check {\n" 34 " cflow, resolve-id, typing, absint\n" 35 " }\n" 36 " }\n" 37 " }\n" 38 " }\n" 39 "}\n"; 40 41 } // namespace panda::verifier::config 42