Home
last modified time | relevance | path

Searched defs:arbitrary (Results 1 – 2 of 2) sorted by relevance

/arkcompiler/runtime_core/verification/util/tests/
Dtagged_index_property_test.cpp51 static Gen<TAGS2> arbitrary() in arbitrary() function
76 static Gen<TAGS3> arbitrary() in arbitrary() function
117 static Gen<Int4> arbitrary() in arbitrary() function
130 static Gen<IntTag> arbitrary() in arbitrary() function
Dbit_vector_property_test.cpp85 static Gen<BSet> arbitrary() in arbitrary() function
102 static Gen<Range<size_t>> arbitrary() in arbitrary() function