Home
last modified time | relevance | path

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

12345678910>>...13

/ark/runtime_core/verification/
Dverification.gni17 "$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",
28 "$ark_root/verification/cflow/cflow_check.cpp",
29 "$ark_root/verification/cflow/cflow_common.cpp",
30 "$ark_root/verification/cflow/cflow_info.cpp",
36 "$ark_root/verification/absint/abs_int_inl.cpp",
[all …]
/ark/runtime_core/verification/gen/
DBUILD.gn19 "$ark_root/verification",
27 data_file = "$ark_root/verification/verification.yaml"
28 requires = [ "$ark_root/verification/verification.rb" ]
47 data_file = "$ark_root/verification/messages.yaml"
DCMakeLists.txt25 DATAFILE "${PANDA_ROOT}/verification/verification.yaml"
26 REQUIRES "${PANDA_ROOT}/verification/verification.rb"
48 YAML_FILE ${PANDA_ROOT}/verification/messages.yaml
/ark/runtime_core/verification/debug/context/
Dcontext.h19 #include "verification/debug/breakpoint/breakpoint_private.h"
20 #include "verification/debug/allowlist/allowlist_private.h"
21 #include "verification/debug/config/config.h"
22 #include "verification/debug/config/config.h"
23 #include "verification/util/callable.h"
24 #include "verification/util/synchronized.h"
Dcontext.cpp18 #include "verification/debug/breakpoint/breakpoint_private.h"
19 #include "verification/debug/allowlist/allowlist_private.h"
20 #include "verification/debug/config/config.h"
/ark/runtime_core/verification/thread/
Dverifier_thread.cpp16 #include "verification/job_queue/job.h"
17 #include "verification/job_queue/job_queue.h"
18 #include "verification/job_queue/cache.h"
20 #include "verification/absint/panda_types.h"
21 #include "verification/absint/absint.h"
27 #include "verification/debug/breakpoint/breakpoint.h"
92 … LOG(DEBUG, VERIFIER) << "Verification of method '" << method.GetFullName() << std::hex << "' ( 0x" in VerifierThread()
112 …LOG(INFO, VERIFIER) << "Verification result for method '" << method.GetFullName() << std::hex << "… in VerifierThread()
/ark/runtime_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()
78 LOG(INFO, VERIFIER) << "Cannot read verification cache data"; in Initialize()
106 … LOG(INFO, VERIFIER) << "Cannot open verification cache file '" << impl->filename << "'"; in Destroy()
110 … LOG(INFO, VERIFIER) << "Cannot clear verification cache file '" << impl->filename << "'"; in Destroy()
115 … LOG(INFO, VERIFIER) << "Cannot write to verification cache file '" << impl->filename << "'"; in Destroy()
/ark/js_runtime/ecmascript/mem/
Dverification.h55 class Verification {
57 explicit Verification(const Heap *heap) : heap_(heap), objXRay_(heap->GetEcmaVM()) {} in Verification() function
58 ~Verification() = default;
70 NO_COPY_SEMANTIC(Verification);
71 NO_MOVE_SEMANTIC(Verification);
/ark/runtime_core/tests/cts-coverage-tool/
Dnon_testable.yaml52 verification:
63 verification:
76 verification:
95 verification:
108 verification:
136 verification:
Dspec.rb60 result['verification'] = not_covered_v.map { |v| v['verification'] } if not_covered_v.any?
98 ntg['verification']&.each do |ntv|
99 spec_verification = spec_group['verification_tests'].find { |sv| sv['verification'] == ntv }
117 …g['verification_tests'] = g['verification'].map { |v| { 'verification' => v, 'tests' => [], 'non_t…
214 testgroup['verification']&.each do |tv|
215 sv = specgroup['verification_tests'].find { |x| x['verification'] == tv }
217 …@orphaned << { 'file' => rel_path(testfile), 'error' => 'Given verification assertion not found in…
221 …@orphaned << { 'file' => rel_path(testfile), 'error' => 'Given verification assertion is non-testa…
/ark/runtime_core/verification/debug/
Dconfig_load.cpp21 #include "verification/debug/config/config_parse.h"
22 #include "verification/debug/config/config_process.h"
23 #include "verification/debug/context/context.h"
24 #include "verification/debug/handlers/config_handlers.h"
25 #include "verification/debug/breakpoint/breakpoint_private.h"
26 #include "verification/debug/allowlist/allowlist_private.h"
/ark/runtime_core/isa/
Dschema.json5 "required": ["chapters", "properties", "exceptions", "verification", "groups"],
52 "verification": { object
86 …"required": ["title", "description", "properties", "exceptions", "verification", "pseudo", "semant…
106 "verification": { object
Disa.yaml170 verification:
255 verification:
273 verification:
304 verification:
360 verification:
378 verification:
420 verification:
481 verification:
501 verification:
521 verification:
[all …]
/ark/runtime_core/verification/job_queue/
Djob_fill.cpp16 #include "verification/job_queue/job.h"
17 #include "verification/job_queue/job_fill.h"
18 #include "verification/cflow/cflow_check.h"
19 #include "verification/cache/file_entity_cache.h"
Dcache.h19 #include "verification/util/flags.h"
20 #include "verification/util/synchronized.h"
21 #include "verification/util/access.h"
22 #include "verification/util/descriptor_string.h"
23 #include "verification/cache/file_entity_cache.h"
24 #include "verification/util/enum_array.h"
25 #include "verification/util/ref_wrapper.h"
39 #include "verification/job_queue/index_table_cache.h"
335 Keep here extended verification result in debug mode:
336 in case of verification problems, save bitmap of instructions
/ark/runtime_core/runtime/
DBUILD.gn16 import("$ark_root/verification/verification.gni")
28 configs = [ "$ark_root/verification/gen:verification_public_config" ]
57 "$ark_root/verification/gen:isa_gen_verification_gen_abs_int_inl_gen_h",
58 "$ark_root/verification/gen:isa_gen_verification_gen_cflow_iterate_inl_gen_h",
59 "$ark_root/verification/gen:isa_gen_verification_gen_job_fill_gen_h",
60 "$ark_root/verification/gen:verification_abs_int_inl_compat_checks_h",
61 "$ark_root/verification/gen:verification_verifier_messages_h",
205 "$ark_root/verification/gen:verification_public_config",
308 "$ark_root/verification/gen:verification_public_config",
Doptions.yaml436 - name: verification-enabled
439 description: enable verification
441 - name: verification-options
463 description: verification options
466 - name: verification-threads
469 description: number of verification threads
471 - name: verification-debug-config-file
476 - name: verification-cache-file
481 - name: fail-on-heap-verification
Dmethod.cpp16 #include "verification/debug/config_load.h"
17 #include "verification/debug/allowlist/allowlist.h"
18 #include "verification/job_queue/job_queue.h"
19 #include "verification/job_queue/job_fill.h"
20 #include "verification/cache/results_cache.h"
21 #include "verification/util/invalid_ref.h"
531 … LOG(INFO, VERIFIER) << "Verification result of method '" << GetFullName() << "' was cached: OK"; in AddJobInQueue()
535 … LOG(INFO, VERIFIER) << "Verification result of method '" << GetFullName() << "' was cached: FAIL"; in AddJobInQueue()
544 … << "' cannot be enqueued for verification. Cannot create job object."; in AddJobInQueue()
552 … LOG(INFO, VERIFIER) << "Method '" << GetFullName() << "' cannot be enqueued for verification"; in AddJobInQueue()
[all …]
/ark/runtime_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_any_object"))
/ark/runtime_core/verification/type/
Dtype_index.h19 #include "verification/util/lazy.h"
20 #include "verification/util/relation.h"
21 #include "verification/util/tagged_index.h"
/ark/runtime_core/verification/debug/handlers/
Dconfig_handler_options.cpp16 #include "verification/debug/config/config_process.h"
17 #include "verification/debug/breakpoint/breakpoint_private.h"
18 #include "verification/debug/allowlist/allowlist_private.h"
19 #include "verification/debug/parser/parser.h"
20 #include "verification/util/struct_field.h"
Dconfig_handler_allowlist.cpp16 #include "verification/debug/config/config_process.h"
17 #include "verification/debug/breakpoint/breakpoint_private.h"
18 #include "verification/debug/allowlist/allowlist_private.h"
19 #include "verification/debug/parser/parser.h"
Dconfig_handler_breakpoints.cpp16 #include "verification/debug/config/config_process.h"
17 #include "verification/debug/breakpoint/breakpoint_private.h"
18 #include "verification/debug/allowlist/allowlist_private.h"
19 #include "verification/debug/parser/parser.h"
/ark/js_runtime/ecmascript/tests/
Djs_verification_test.cpp24 #include "ecmascript/mem/verification.h"
65 auto verifier = Verification(heap); in HWTEST_F_L0()
67 auto funcVerify = [](TaggedObject *object, Verification &v, const Heap *heap) { in HWTEST_F_L0()
93 auto verifier = Verification(heap); in HWTEST_F_L0()
/ark/runtime_core/tests/cts-coverage-tool/templates/
Duncovered_md.erb46 <% if v['verification'].class == Array %>
48 Verification:
50 <% v['verification'].each do |x| -%>

12345678910>>...13