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