public int AddCantidadTest01(
[PexAssumeUnderTest] Carrito target,
Producto producto,
int cantidad
)
{
int result = target.AddCantidad(producto, cantidad);
return(result);
// TODO: agregar aserciones a método CarritoTest.AddCantidadTest01(Carrito, Producto, Int32)
}
public int AddCantidadTest(
[PexAssumeUnderTest] Carrito target,
int index,
int cantidad
)
{
PexAssume.IsTrue(index > 0);
int result = target.AddCantidad(index, cantidad);
PexAssert.IsTrue(cantidad > 0);
return(result);
// TODO: agregar aserciones a método CarritoTest.AddCantidadTest(Carrito, Int32, Int32)
}
