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 __anonea1bced31b02()
363 prop("power_of_or(arg,arg,arg)", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anonea1bced31d02()
383 prop("power_of_xor(arg,arg,arg)", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anonea1bced31f02()
408 prop("lazy_and_then_indices_of<1>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anonea1bced32102()
419 prop("lazy_and_then_indices_of<0>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anonea1bced32202()
430 prop("lazy_or_then_indices_of<1>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anonea1bced32302()
441 prop("lazy_or_then_indices_of<0>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anonea1bced32402()
452 prop("lazy_xor_then_indices_of<1>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anonea1bced32502()
466 prop("lazy_xor_then_indices_of<0>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anonea1bced32602()
480 prop("lazy_and_not_then_indices_of<1>()", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anonea1bced32702()
[all …]
|