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