| 325 | } |
| 326 | /*}}}*/ |
| 327 | template<typename M1, typename M2> void testBinaryOperatorsImpl()/*{{{*/ |
| 328 | { |
| 329 | testLogicalOperatorsImpl<M1, M2>(); |
| 330 | |
| 331 | VERIFY((M1(true) & M2(true)).isFull()); |
| 332 | VERIFY((M1(true) & M2(false)).isEmpty()); |
| 333 | VERIFY((M1(true) | M2(true)).isFull()); |
| 334 | VERIFY((M1(true) | M2(false)).isFull()); |
| 335 | VERIFY((M1(false) | M2(false)).isEmpty()); |
| 336 | VERIFY((M1(true) ^ M2(true)).isEmpty()); |
| 337 | VERIFY((M1(true) ^ M2(false)).isFull()); |
| 338 | } |
| 339 | /*}}}*/ |
| 340 | TEST(testBinaryOperators) /*{{{*/ |
| 341 | { |