public void deductStock_WhenAvailable_Test()
{
var expected = 4;
itemsInStock.deductStock(1);
var stock = itemsInStock.getStock(1);
Assert.AreEqual(expected, stock);
}
public void deductStockTest([PexAssumeUnderTest] ProductStock target, int id)
{
target.deductStock(id);
// TODO: add assertions to method ProductStockTest.deductStockTest(ProductStock, Int32)
}