@@ -3018,43 +3018,43 @@ def detailed_operands(self) -> List[Tuple[str, MediumLevelILOperandType, str]]:
30183018
30193019@dataclass (frozen = True , repr = False , eq = False )
30203020class MediumLevelILAssert (MediumLevelILInstruction ):
3021- @property
3022- def src (self ) -> variable .Variable :
3023- return self ._get_var (0 )
3021+ @property
3022+ def src (self ) -> variable .Variable :
3023+ return self ._get_var (0 )
30243024
3025- @property
3026- def constraint (self ) -> variable .PossibleValueSet :
3027- return self ._get_constraint (1 )
3025+ @property
3026+ def constraint (self ) -> variable .PossibleValueSet :
3027+ return self ._get_constraint (1 )
30283028
30293029@dataclass (frozen = True , repr = False , eq = False )
30303030class MediumLevelILAssertSsa (MediumLevelILInstruction , SSA ):
3031- @property
3032- def src (self ) -> SSAVariable :
3033- return self ._get_var_ssa (0 , 1 )
3031+ @property
3032+ def src (self ) -> SSAVariable :
3033+ return self ._get_var_ssa (0 , 1 )
30343034
3035- @property
3036- def constraint (self ) -> variable .PossibleValueSet :
3037- return self ._get_constraint (2 )
3035+ @property
3036+ def constraint (self ) -> variable .PossibleValueSet :
3037+ return self ._get_constraint (2 )
30383038
30393039@dataclass (frozen = True , repr = False , eq = False )
30403040class MediumLevelILForceVer (MediumLevelILInstruction ):
3041- @property
3042- def dest (self ) -> variable .Variable :
3043- return self ._get_var (0 )
3041+ @property
3042+ def dest (self ) -> variable .Variable :
3043+ return self ._get_var (0 )
30443044
3045- @property
3046- def src (self ) -> variable .Variable :
3047- return self ._get_var (1 )
3045+ @property
3046+ def src (self ) -> variable .Variable :
3047+ return self ._get_var (1 )
30483048
30493049@dataclass (frozen = True , repr = False , eq = False )
30503050class MediumLevelILForceVerSsa (MediumLevelILInstruction , SSA ):
3051- @property
3052- def dest (self ) -> SSAVariable :
3053- return self ._get_var_ssa (0 , 1 )
3051+ @property
3052+ def dest (self ) -> SSAVariable :
3053+ return self ._get_var_ssa (0 , 1 )
30543054
3055- @property
3056- def src (self ) -> SSAVariable :
3057- return self ._get_var_ssa (2 , 3 )
3055+ @property
3056+ def src (self ) -> SSAVariable :
3057+ return self ._get_var_ssa (2 , 3 )
30583058
30593059
30603060
0 commit comments