Method test_is_implies

tests/test_z3_compat.py:1071–1073

(self)

        assert is_not(Not(a))

    def test_is_implies(self):
        a, b = Bool("a"), Bool("b")
        assert is_implies(Implies(a, b))

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