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