示例#1
0
 public void printStockTest([PexAssumeUnderTest] ProductStock target)
 {
     target.printStock();
     // TODO: add assertions to method ProductStockTest.printStockTest(ProductStock)
 }