Exemplos de Reachability.CheckReachability em C# (CSharp)

Exemplo n.º 1

Arquivo: ReachabilityTest.cs Projeto: rassilon/NModel

        public void SwitchTest()
        {
            Reachability mc = new Reachability();

            //mc.ExcludeIsomorphicStates = false;
            mc.ModelProgram = LibraryModelProgram.Create(typeof(SampleModels.PowerSwitch.Contract));
            ReachabilityResult result = mc.CheckReachability();

            Assert.AreEqual(result.StateCount, 2, "The state count returned differs from actual...");
            Assert.AreEqual(result.TransitionCount, 2, "The transition count returned differs from actual...");
        }