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 __anon8df752f40502()
165 prop("set()", [](BSet &&bset) { in __anon8df752f40602()
170 prop("invert()", [](BSet &&bset) { in __anon8df752f40702()
176 prop("Clr(size_t idx)", [](BSet &&bset, std::set<size_t> &&indices) { in __anon8df752f40802()
185 prop("Set(size_t idx)", [](BSet &&bset, std::set<size_t> &&indices) { in __anon8df752f40902()
195 prop("invert(size_t idx)", [](BSet &&bset, std::set<size_t> &&indices) { in __anon8df752f40a02()
209 prop("clr(size_t from, size_t to)", [](BSet &&bset, Interval &&interval) { in __anon8df752f40b02()
218 prop("set(size_t from, size_t to)", [](BSet &&bset, Interval &&interval) { in __anon8df752f40c02()
227 prop("invert(size_t from, size_t to)", [](BSet &&bset, Interval &&interval) { in __anon8df752f40d02()
263 prop("resize(size_t)", [](BSet &&bset, size_t new_size) { in __anon8df752f41102()
[all …]