(cls, tx, proxy, sym_num, **options)
| 780 | |
| 781 | @classmethod |
| 782 | def create(cls, tx, proxy, sym_num, **options): |
| 783 | if "example_value" in proxy.node.meta: |
| 784 | assert proxy.node.meta["example_value"] == sym_num |
| 785 | if sym_num is None: |
| 786 | sym_num = get_fake_value(proxy.node, tx) |
| 787 | proxy.node.meta["example_value"] = sym_num |
| 788 | |
| 789 | if isinstance(sym_num, (sympy.Integer, int, bool)): |
| 790 | sym_num = int(sym_num) if isinstance(sym_num, sympy.Integer) else sym_num |
| 791 | return ConstantVariable.create(sym_num) |
| 792 | |
| 793 | return SymNodeVariable(proxy, sym_num, **options) |
| 794 | |
| 795 | def __init__(self, proxy, sym_num, **kwargs): |
| 796 | super().__init__(**kwargs) |
no test coverage detected