Home
last modified time | relevance | path

Searched defs:type_system (Results 1 – 4 of 4) sorted by relevance

/arkcompiler/runtime_core/verification/absint/tests/
Dreg_context_test.cpp34 TypeSystem type_system {sort["Bot"], sort["Top"]}; in TEST_F() local
Dexec_context_test.cpp37 TypeSystem type_system {sort["Bot"], sort["Top"]}; in TEST_F() local
/arkcompiler/runtime_core/verification/value/tests/
Dabstract_typed_value_test.cpp31 TypeSystem type_system {sort["Bot"], sort["Top"]}; in TEST_F() local
/arkcompiler/runtime_core/verification/type/
Dtype_type.cpp149 const TypeSystem &type_system = GetTypeSystem(); in operator &() local