Home
last modified time | relevance | path

Searched full:inconsistency (Results 1 – 5 of 5) sorted by relevance

/ark/runtime_core/docs/bc_verification/
Dabsint_checks.md37 This type of checks eliminate inconsistency between the method signature and the type of actual ret…
/ark/runtime_core/tests/
DCMakeLists.txt761 …g_1826.pa" VERIFIER_FAIL_TEST VERIFIER_DEBUG_LOG_MESSAGE "\"verifier: Inconsistency between type i…
762 …g_1827.pa" VERIFIER_FAIL_TEST VERIFIER_DEBUG_LOG_MESSAGE "\"verifier: Inconsistency between type i…
767 …g_2085.pa" VERIFIER_FAIL_TEST VERIFIER_DEBUG_LOG_MESSAGE "\"verifier: Inconsistency between type i…
769 …2086_2.pa" VERIFIER_FAIL_TEST VERIFIER_DEBUG_LOG_MESSAGE "\"verifier: Inconsistency between type i…
779 …g_1833.pa" VERIFIER_FAIL_TEST VERIFIER_DEBUG_LOG_MESSAGE "\"verifier: Inconsistency between type i…
/ark/runtime_core/verification/
Dmessages.yaml222 Inconsistency between type in register and field class type. Field is '${field}'.
/ark/runtime_core/docs/
Dmemory-management.md529 Heap inconsistency can happen when a GC reclaims alive/reachable objects.
534 Besides addressing of heap inconsistency problem, write barrier can be used for maintaining incomin…
/ark/runtime_core/assembler/
Dassembly-parser.cpp420 context_.err = Error("Inconsistency of the definition of the record and its metadata.", in ParseResetRecordTable()