public double GetTotalPriceTest( [PexAssumeUnderTest] ProductWrapper target, DateTime?date ) { double result = target.GetTotalPrice(date); return(result); // TODO: add assertions to method ProductWrapperTest.GetTotalPriceTest(ProductWrapper, Nullable`1<DateTime>) }