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