(self)
| 2309 | class HighLevelILAssertSsa(HighLevelILInstruction, SSA): |
| 2310 | @property |
| 2311 | def src(self) -> 'mediumlevelil.SSAVariable': |
| 2312 | return self.get_var_ssa(0, 1) |
| 2313 | |
| 2314 | @property |
| 2315 | def constraint(self) -> variable.PossibleValueSet: |
nothing calls this directly
no test coverage detected