// <copyright file="EdgeExtensionsTest.IsPath.g.cs" company="Jonathan de Halleux">Copyright http://quickgraph.codeplex.com/</copyright>
// <auto-generated>
// This file contains automatically generated unit tests.
// Do NOT modify this file manually.
// 
// When Pex is invoked again,
// it might remove or update any previously generated unit tests.
// 
// If the contents of this file becomes outdated, e.g. if it does not
// compile anymore, you may delete this file and invoke Pex again.
// </auto-generated>
using System;
using Microsoft.Pex.Framework.Generated;
using Microsoft.VisualStudio.TestTools.UnitTesting;
using System.Collections.Generic;
using System.Diagnostics.Contracts;

namespace QuickGraph
{
    public partial class EdgeExtensionsTest
    {
    }
}