Method test_is_logical_ops

tests/test_z3_ported.py:1571–1576

(self)

        assert is_distinct(Distinct(x, y))

    def test_is_logical_ops(self):
        a, b = Bools("a b")
        assert is_and(And(a, b))
        assert is_or(Or(a, b))
        assert is_not(Not(a))
        assert is_implies(Implies(a, b))

    def test_is_arith_ops(self):
        x, y = Ints("x y")