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 …]
|