src/cs/Tests/Graph.Tests.cs
using Xunit; using FsCheck; using FsCheck.Xunit; using System; using System.Linq; using Prelude; namespace GraphTests { public class UnitTests { [Fact] public void Graph_Can_Be_Created() { var g = new Graph(); Assert.Equal(36, g.Id.ToString().Length); } [Fact] public void FsCheck_Test() { Func<int[], bool> revRevIsOrig = xs => xs.Reverse().Reverse().SequenceEqual(xs); Prop.ForAll(revRevIsOrig).QuickCheck(); } } } |