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