Method test_simplify_identity

tests/test_z3_ported.py:445–449

Guide: simplify(x + 1 + 2)

(self)

        assert isinstance(expr._ast, BinOpNode)

    def test_simplify_identity(self):
        """Guide: simplify(x + 1 + 2)"""
        x = Int("x")
        result = simplify(x + 1 + 2)
        assert isinstance(result, ExprRef)

    def test_simplify_returns_same_type(self):
        """simplify preserves expression type."""