public void CurrentBeforeMoveNext <TPriority, TValue>( [PexAssumeUnderTest] BinaryHeap <TPriority, TValue> target, KeyValuePair <TPriority, TValue> kv) { target.Add(kv.Key, kv.Value); PexAssert.Throws <InvalidOperationException>(delegate { var enumerator = target.GetEnumerator(); var current = enumerator.Current; }); }
public void InsertAndResetAndModify <TPriority, TValue>( [PexAssumeUnderTest] BinaryHeap <TPriority, TValue> target, KeyValuePair <TPriority, TValue> kv) { target.Add(kv.Key, kv.Value); PexAssert.Throws <InvalidOperationException>(delegate { var enumerator = target.GetEnumerator(); target.Add(kv.Key, kv.Value); enumerator.Reset(); }); }