public double CalculaRecargoTest( [PexAssumeUnderTest] Carrito target, double total, TipoMedioDePago medioDePago, TipoEnvio envio, bool seguro ) { double result = target.CalculaRecargo(total, medioDePago, envio, seguro); return(result); // TODO: agregar aserciones a método CarritoTest.CalculaRecargoTest(Carrito, Double, TipoMedioDePago, TipoEnvio, Boolean) }