public string ToString <TVertex>([PexAssumeUnderTest] Edge <TVertex> target)
{
// TODO: add assertions to method EdgeTVertexTest.ToString(Edge`1<!!0>)
string result = target.ToString();
return(result);
}
public string ToString <TVertex>([PexAssumeUnderTest] Edge <TVertex> target)
{
TVertex source = target.Source;
TVertex target2 = target.Target;
string s1 = source.ToString();
string s2 = target2.ToString();
string result = target.ToString();
Assert.Equals(s1 + "->" + s2, result);
return(result);
}