private void insertTest(int[] values)
{
Contract.Ensures(Contract.ForAll(0, values.Length, i => values[i] < 100 ? this.sm[values[i]] : this.rest.Contains(values[i])));
PexAssume.IsNotNullOrEmpty(values);
PexAssume.TrueForAny(0, values.Length, i => (values[i] > 100));
PexAssume.TrueForAny(0, values.Length, i => (values[i] < 100));
for (int i = 0; i < values.Length; i++)
{
insert(values[i]);
}
}
