Method test_binop_decl

tests/test_z3_ported.py:2861–2866

(self)

        assert repr(kids[1]) == "y"

    def test_binop_decl(self):
        x, y = Ints("x y")
        e = x + y
        d = e.decl()
        assert isinstance(d, FuncDeclRef)
        assert d.name() == "add"

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