public void DeepCopyTest()
        {
            var petriNet1 = new Model.PetriNet.PetriNet();
            petriNet1.AddTransition("Test");

            var copy = (Model.PetriNet.PetriNet)petriNet1.DeepCopy();
            copy.Transitions[0].Name = "Test1";

            Assert.AreNotEqual(copy.Transitions[0].Name, petriNet1.Transitions[0].Name);
        }
Esempio n. 2
0
        public void DeepCopyTest()
        {
            var petriNet1 = new Model.PetriNet.PetriNet();

            petriNet1.AddTransition("Test");

            var copy = (Model.PetriNet.PetriNet)petriNet1.DeepCopy();

            copy.Transitions[0].Name = "Test1";

            Assert.AreNotEqual(copy.Transitions[0].Name, petriNet1.Transitions[0].Name);
        }