Searched defs:bset2 (Results 1 – 1 of 1) sorted by relevance
| /arkcompiler/runtime_core/verification/util/tests/ |
| D | bit_vector_property_test.cpp | 342 prop("power_of_and(arg,arg)", [](BSet &&bset1, BSet &&bset2) { in __anona16105721a02()
348 prop("power_of_and(arg,arg,arg)", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105721b02()
355 prop("power_of_or(arg,arg)", [](BSet &&bset1, BSet &&bset2) { in __anona16105721c02()
363 prop("power_of_or(arg,arg,arg)", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105721d02()
373 prop("power_of_xor(arg,arg)", [](BSet &&bset1, BSet &&bset2) { in __anona16105721e02()
383 prop("power_of_xor(arg,arg,arg)", [](BSet &&bset1, BSet &&bset2, BSet &&bset3) { in __anona16105721f02()
396 prop("power_of_and_not(arg,arg)", [](BSet &&bset1, BSet &&bset2) { in __anona16105722002()
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()
[all …]
|