partial void Run()
{
var md = new MyDict <string>(this.behave);
if (behave)
{
var array = new string[5];
md.CopyTo(array, 0);
}
else
{
md.CopyTo(null, 0);
}
}
partial void Run()
{
var md = new MyDict(this.behave);
Contract.Assert(md.Keys != null);
}
partial void Run()
{
var md = new MyDict(this.behave);
Contract.Assert(md.Keys != null);
}
partial void Run()
{
var md = new MyDict <string>(this.behave);
Contract.Assert(md.Count == 0);
}