Пример #1
0
 public StatementRecordIndicies RenameVariableTest([PexAssumeUnderTest] StatementRecordIndicies target, string origin, string final)
 {
     target.RenameVariable(origin, final);
     return(target);
 }