Searched defs:bset3 (Results 1 – 1 of 1) sorted by relevance
| /arkcompiler/runtime_core/verification/util/tests/ |
| D | bit_vector_property_test.cpp | 348 prop("power_of_and(arg,arg,arg)", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105721b02()
363 prop("power_of_or(arg,arg,arg)", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105721d02()
383 prop("power_of_xor(arg,arg,arg)", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105721f02()
408 prop("lazy_and_then_indices_of<1>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105722102()
419 prop("lazy_and_then_indices_of<0>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105722202()
430 prop("lazy_or_then_indices_of<1>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105722302()
441 prop("lazy_or_then_indices_of<0>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105722402()
452 prop("lazy_xor_then_indices_of<1>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105722502()
466 prop("lazy_xor_then_indices_of<0>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105722602()
480 prop("lazy_and_not_then_indices_of<1>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105722702()
[all …]
|