public void getStock_WhenAvailable_Test()
{
var stock = itemsInStock.getStock(1);
var expected = 5;
Assert.AreEqual(expected, stock);
}
public int getStockTest([PexAssumeUnderTest] ProductStock target, int id)
{
int result = target.getStock(id);
return(result);
// TODO: add assertions to method ProductStockTest.getStockTest(ProductStock, Int32)
}