public int AddCantidadTest([PexAssumeUnderTest] Articulo target, int cantidad)
{
int result = target.AddCantidad(cantidad);
return(result);
// TODO: agregar aserciones a método ArticuloTest.AddCantidadTest(Articulo, Int32)
}
