Home
last modified time | relevance | path

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

/arkcompiler/runtime_core/verification/util/tests/
Dbit_vector_property_test.cpp160 prop("clr()", [](BSet &&bset) { in __anona16105720502()
165 prop("set()", [](BSet &&bset) { in __anona16105720602()
170 prop("invert()", [](BSet &&bset) { in __anona16105720702()
176 prop("Clr(size_t idx)", [](BSet &&bset, std::set<size_t> &&indices) { in __anona16105720802()
185 prop("Set(size_t idx)", [](BSet &&bset, std::set<size_t> &&indices) { in __anona16105720902()
195 prop("invert(size_t idx)", [](BSet &&bset, std::set<size_t> &&indices) { in __anona16105720a02()
209 prop("clr(size_t from, size_t to)", [](BSet &&bset, Interval &&interval) { in __anona16105720b02()
218 prop("set(size_t from, size_t to)", [](BSet &&bset, Interval &&interval) { in __anona16105720c02()
227 prop("invert(size_t from, size_t to)", [](BSet &&bset, Interval &&interval) { in __anona16105720d02()
263 prop("resize(size_t)", [](BSet &&bset, size_t new_size) { in __anona16105721102()
[all …]