public void getDataFromFileTest([PexAssumeUnderTest] ProductStock target, string stockFile)
{
target.getDataFromFile(stockFile);
// TODO: add assertions to method ProductStockTest.getDataFromFileTest(ProductStock, String)
}
public void getDataFromFileTest([PexAssumeUnderTest] ProductStock target, string stockFile)
{
target.getDataFromFile(stockFile);
// TODO: add assertions to method ProductStockTest.getDataFromFileTest(ProductStock, String)
}