Defines a collection of distinct object instances that are expected to be inconditionally accepted as valid input by the tested setter. Feeding that contract property with at least one value is mandatory.

public DistinctInstanceCollection<TValue> ValidValues { get; set; }

Public Property ValidValues As DistinctInstanceCollection(Of TValue)

[TestFixture]
public class FooTest
{
    [VerifyContract]
    public readonly IContract MyPropertyAccessorTests = new AccessorContract<Foo, int>
    {
        PropertyName = "MyProperty",
        ValidValues = { 123, 456, 789 },
    };
}