コード例 #1
0
 public void TakeOwnership([PexAssumeUnderTest] AphidInterpreter target)
 {
     target.TakeOwnership();
     // TODO: add assertions to method AphidInterpreterTest.TakeOwnership(AphidInterpreter)
 }