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();
}
