public void CoverageTreeShouldBeBuildCorrectly() { var petriNet = PetriNet.Parse("Files\\petri_net_741.txt"); var treeBuilder = new CoverageTreeBuilder(petriNet); var tree = treeBuilder.Build(); Assert.IsTrue(tree.Root.Child.Count == 2); Assert.IsTrue(tree.Root.Child[0].Marking[0] == 1); Assert.IsTrue(tree.Root.Child[0].Marking[1] == double.PositiveInfinity); Assert.IsTrue(tree.Root.Child[0].Child == null); Assert.IsTrue(tree.Root.Child[1].Marking[2] == 1); Assert.IsTrue(tree.Root.Child[1].Child == null); }
public void CoverageTreeShouldBeBuild(string file) { var petriNet = PetriNet.Parse(file); var treeBuilder = new CoverageTreeBuilder(petriNet); var tree = treeBuilder.Build(); }