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) }