Home
last modified time | relevance | path

Searched full:verification (Results 1 – 25 of 631) sorted by relevance

12345678910>>...26

/arkcompiler/runtime_core/static_core/verification/
Dverification.gni17 "$ark_root/verification/type/type_system.cpp",
18 "$ark_root/verification/type/type_type.cpp",
24 "$ark_root/verification/cflow/cflow_check.cpp",
25 "$ark_root/verification/cflow/cflow_common.cpp",
26 "$ark_root/verification/cflow/cflow_info.cpp",
32 "$ark_root/verification/absint/abs_int_inl.cpp",
33 "$ark_root/verification/absint/absint.cpp",
37 "$ark_root/verification/config/config_load.cpp",
38 "$ark_root/verification/config/context/context.cpp",
39 "$ark_root/verification/config/debug_breakpoint/breakpoint.cpp",
[all …]
DCMakeLists.txt16 include(${PANDA_ROOT}/verification/Verification.cmake)
26 DATAFILE "${PANDA_ROOT}/verification/verification.yaml"
27 REQUIRES "${PANDA_ROOT}/verification/verification.rb"
53 YAML_FILE ${PANDA_ROOT}/verification/messages.yaml
59 DATA ${PANDA_ROOT}/verification/messages.yaml
61 SOURCE ${PANDA_ROOT}/verification/gen/templates
DTODO.txt3 …- [x] (using atomic flag) Verification of method put under lock to exclude double verification at …
5 (double verification is very rare case, and verification is to be expected idempotent operation)
10 1a. Redesign verification into job-queue and separate thread for verifier.
Dpublic.cpp19 #include "verification/config/config_load.h"
20 #include "verification/config/context/context.h"
21 #include "verification/cache/results_cache.h"
22 #include "verification/jobs/service.h"
23 #include "verification/jobs/job.h"
109 …LOG(DEBUG, VERIFIER) << "Verification result for method " << method->GetFullName(true) << ": " << … in ReportStatus()
160 … LOG(DEBUG, VERIFIER) << method->GetFullName(true) << " has no code, no meaningful verification"; in Verify()
165 LOG(DEBUG, VERIFIER) << "Skipping verification of '" << method->GetFullName() in Verify()
175 LOG(DEBUG, VERIFIER) << "Verification result of method '" << methodName in Verify()
192 …LOG(DEBUG, VERIFIER) << "Verification config for '" << methodName << "': " << verifMethodOptions.G… in Verify()
[all …]
Dpublic_internal.h19 #include "verification/verification_options.h"
20 #include "verification/jobs/service.h"
21 #include "verification/config/context/context.h"
/arkcompiler/runtime_core/static_core/verification/gen/templates/
Dplugins_gen.inc.erb24 #include "verification/plugins.h"
25 #include "verification/default_plugin.h"
27 % next unless plugin_opts["Verification"]
28 % if plugin_opts["Verification"]["header"]
29 #include "<%= plugin_opts["Verification"]["header"] %>"
37 % next unless plugin_opts["Verification"]
38 % if plugin_opts["Verification"]["header"]
40 static <%= plugin_opts["Verification"]["plugin_class"] %> <%= plugin_lang %>_PLUGIN;
48 % next unless plugin_opts["Verification"]
49 % if plugin_opts["Verification"]["plugin_class"]
Dabs_int_inl_compat_checks.h.erb19 #include "verification/verification_status.h"
20 #include "verification/type/type_system.h"
21 #include "verification/util/str.h"
23 % checks = Verification.compatibility_checks
64 % type1, type2 = Verification.domain_types(check)
/arkcompiler/runtime_core/static_core/verification/gen/
DBUILD.gn19 "$ark_root/verification",
28 data_file = "$ark_root/verification/verification.yaml"
29 requires = [ "$ark_root/verification/verification.rb" ]
47 data_file = "$ark_root/verification/messages.yaml"
54 template_file = "$ark_root/verification/gen/templates/plugins_gen.inc.erb"
62 "$ark_root/verification/gen/templates/verifier_messages_data_gen.cpp.erb"
63 data_file = "$ark_root/verification/messages.yaml"
/arkcompiler/runtime_core/static_core/verification/absint/
Dverification_context.h23 #include "verification/absint/exec_context.h"
24 #include "verification/cflow/cflow_info.h"
25 #include "verification/jobs/job.h"
26 #include "verification/plugins.h"
27 #include "verification/type/type_system.h"
28 #include "verification/util/lazy.h"
29 #include "verification/util/callable.h"
30 #include "verification/value/variables.h"
/arkcompiler/runtime_core/static_core/verification/config/process/
Dconfig_process.h19 #include "verification/config/config.h"
20 #include "verification/config/context/context.h"
21 #include "verification/public.h"
22 #include "verification/util/callable.h"
/arkcompiler/runtime_core/static_core/verification/cache/
Dresults_cache.cpp16 #include "verification/cache/results_cache.h"
17 #include "verification/util/synchronized.h"
61 LOG(INFO, VERIFIER) << "Cannot open verification cache file '" << filename << "'"; in Initialize()
67 LOG(INFO, VERIFIER) << "Cannot get verification cache file size"; in Initialize()
79 LOG(INFO, VERIFIER) << "Cannot read verification cache data"; in Initialize()
107 … LOG(INFO, VERIFIER) << "Cannot open verification cache file '" << impl_->filename << "'"; in Destroy()
111 … LOG(INFO, VERIFIER) << "Cannot clear verification cache file '" << impl_->filename << "'"; in Destroy()
116 … LOG(INFO, VERIFIER) << "Cannot write to verification cache file '" << impl_->filename << "'"; in Destroy()
/arkcompiler/runtime_core/static_core/verification/config/
Dconfig_load.cpp18 #include "verification/public.h"
19 #include "verification/config/default/default_config.h"
20 #include "verification/config/parse/config_parse.h"
21 #include "verification/config/process/config_process.h"
22 #include "verification/config/context/context.h"
23 #include "verification/config/handlers/config_handlers.h"
/arkcompiler/runtime_core/tests/cts-coverage-tool/config/
Dnon_testable.yaml38 verification:
51 verification:
64 verification:
77 verification:
95 verification:
118 verification:
/arkcompiler/ets_runtime/ecmascript/mem/
Dverification.h86 class Verification {
88 explicit Verification(Heap *heap, VerifyKind verifyKind = VerifyKind::VERIFY_PRE_GC)
90 ~Verification() = default;
100 NO_COPY_SEMANTIC(Verification);
101 NO_MOVE_SEMANTIC(Verification);
/arkcompiler/runtime_core/static_core/tests/cts-coverage-tool/config/
Dnon_testable.yaml38 verification:
51 verification:
64 verification:
77 verification:
/arkcompiler/runtime_core/static_core/verification/jobs/
Djob.cpp18 #include "verification/absint/absint.h"
19 #include "verification/cflow/cflow_check.h"
20 #include "verification/config/debug_breakpoint/breakpoint.h"
21 #include "verification/jobs/job.h"
22 #include "verification/public_internal.h"
Djob.h20 #include "verification/cflow/cflow_info.h"
21 #include "verification/verification_options.h"
22 #include "verification/plugins.h"
23 #include "verification/public_internal.h"
148 // NOTE(vdyadov): store file_id for double check during verification
/arkcompiler/runtime_core/tests/cts-coverage-tool/lib/
Dspec.rb61 … %w[prefixes groups properties exceptions verification version min_version chapters].each do |attr|
103 grp['verification_tests'] = grp['verification'].map do |v|
104 { 'verification' => v, 'tests' => [], 'non_testable' => false }
149 ntg['verification']&.each do |ntv|
150 spec_verification = spec_group['verification_tests'].find { |sv| sv['verification'] == ntv }
152 warn "Non testable verification \"#{ntv}\" in group \"#{ntg['title']}\" not found in ISA."
297 test_group['verification']&.each do |tv|
304 sv = spec_group['verification_tests'].find { |x| x['verification'] == test_ver }
306 … @orphaned << { 'file' => file, 'error' => 'Given verification assertion not found in the spec',
311 …@orphaned << { 'file' => file, 'error' => 'Given verification assertion is non-testable', 'comment…
/arkcompiler/runtime_core/static_core/tests/cts-coverage-tool/lib/
Dspec.rb61 … %w[prefixes groups properties exceptions verification version min_version chapters].each do |attr|
103 grp['verification_tests'] = grp['verification'].map do |v|
104 { 'verification' => v, 'tests' => [], 'non_testable' => false }
149 ntg['verification']&.each do |ntv|
150 spec_verification = spec_group['verification_tests'].find { |sv| sv['verification'] == ntv }
152 warn "Non testable verification \"#{ntv}\" in group \"#{ntg['title']}\" not found in ISA."
297 test_group['verification']&.each do |tv|
304 sv = spec_group['verification_tests'].find { |x| x['verification'] == test_ver }
306 … @orphaned << { 'file' => file, 'error' => 'Given verification assertion not found in the spec',
311 …@orphaned << { 'file' => file, 'error' => 'Given verification assertion is non-testable', 'comment…
/arkcompiler/ets_frontend/test/scripts/sdk_test/
Dreadme.md3 This test suite can perform end-to-end SDK test verification. There are two ways to perform verific…
22 … SDK built on the current day from the trunk branch and use it to perform a full test verification.
/arkcompiler/runtime_core/static_core/verification/config/context/
Dcontext.h19 #include "verification/config/config.h"
20 #include "verification/config/debug_breakpoint/breakpoint.h"
21 #include "verification/public.h"
22 #include "verification/util/callable.h"
23 #include "verification/util/synchronized.h"
/arkcompiler/runtime_core/static_core/assembler/templates/
Dopcode_parsing.h.erb33 % verification = insn.verification
97 % if (verification.include?("type_id_array"))
99 % elsif (verification.include?("type_id_object"))
101 % elsif (verification.include?("type_id_class"))
103 % elsif (verification.include?("type_id_any_object"))
/arkcompiler/runtime_core/static_core/plugins/ets/isa/
Disa.yaml26 verification:
75 verification:
126 verification:
177 verification:
194 verification:
210 verification:
/arkcompiler/runtime_core/static_core/verification/config/handlers/
Dconfig_handler_method_options.cpp16 #include "verification/public_internal.h"
17 #include "verification/config/config.h"
18 #include "verification/config/default/default_config.h"
19 #include "verification/config/options/method_options.h"
20 #include "verification/config/options/method_options_config.h"
21 #include "verification/config/process/config_process.h"
22 #include "verification/config/parse/config_parse.h"
23 #include "verification/config/options/msg_set_parser.h"
/arkcompiler/runtime_core/static_core/isa/
Disa.yaml178 verification:
275 verification:
289 verification:
312 verification:
341 verification:
355 verification:
378 verification:
413 verification:
430 verification:
451 verification:
[all …]

12345678910>>...26