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)
        }