public int newIDTest([PexAssumeUnderTest] ProductStock target)
{
int result = target.newID();
return(result);
// TODO: add assertions to method ProductStockTest.newIDTest(ProductStock)
}
public void newID_WhenNotEmptyList_Test()
{
var id = itemsInStock.newID();
var expected = 4;
Assert.AreEqual(expected, id);
}