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