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