public AddOperation(User user)
{
User = user;
}
public void AddUser(User user)
{
_users.Add(user.Name);
}
public void AddUser(User user)
{
_users[user.Name] = user;
}
private static IEnumerable<User> ShrinkUser(User user)
{
foreach (var name in Arb.Shrink(user.Name))
{
if (name != null)
{
yield return new User(name, user.Age);
}
}
foreach (var age in Arb.Shrink(user.Age))
{
yield return new User(user.Name, age);
}
}
