Searched defs:bset (Results 1 – 1 of 1) sorted by relevance
| /arkcompiler/runtime_core/verification/util/tests/ |
| D | bit_vector_property_test.cpp | 160 prop("clr()", [](BSet &&bset) { in __anonea1bced30502() 165 prop("set()", [](BSet &&bset) { in __anonea1bced30602() 170 prop("invert()", [](BSet &&bset) { in __anonea1bced30702() 176 prop("Clr(size_t idx)", [](BSet &&bset, std::set<size_t> &&indices) { in __anonea1bced30802() 185 prop("Set(size_t idx)", [](BSet &&bset, std::set<size_t> &&indices) { in __anonea1bced30902() 195 prop("invert(size_t idx)", [](BSet &&bset, std::set<size_t> &&indices) { in __anonea1bced30a02() 209 prop("clr(size_t from, size_t to)", [](BSet &&bset, Interval &&interval) { in __anonea1bced30b02() 218 prop("set(size_t from, size_t to)", [](BSet &&bset, Interval &&interval) { in __anonea1bced30c02() 227 prop("invert(size_t from, size_t to)", [](BSet &&bset, Interval &&interval) { in __anonea1bced30d02() 263 prop("resize(size_t)", [](BSet &&bset, size_t new_size) { in __anonea1bced31102() [all …]
|