public void removeStock_WhenAvailable_Test()
{
itemsInStock.removeStock(1);
var available = itemsInStock.isAvailable(1);
Assert.IsFalse(available);
}
public void removeStockTest([PexAssumeUnderTest] ProductStock target, int id)
{
target.removeStock(id);
// TODO: add assertions to method ProductStockTest.removeStockTest(ProductStock, Int32)
}