Automata.Tests.MinimizationTests.TestNFA1 C# (CSharp) Method

        public void TestNFA1()
        {
            CharSetSolver solver = new CharSetSolver(BitWidth.BV7);
            var nfa = Automaton<BDD>.Create(solver, 0, new int[] { 1 }, new Move<BDD>[] { new Move<BDD>(0, 1, solver.True), new Move<BDD>(0, 2, solver.True), new Move<BDD>(2, 1, solver.True) });
            var min_nfa = nfa.Minimize();
            nfa.isDeterministic = true; //pretend that nfa is equivalent, causes the deterministic version to be executed that provides the wrong result
            var min_nfa_wrong = nfa.Minimize();
            nfa.isDeterministic = false;
            min_nfa_wrong.isDeterministic = false;
            Assert.IsFalse(min_nfa.IsEquivalentWith(min_nfa_wrong));
            Assert.IsTrue(min_nfa.IsEquivalentWith(nfa));
        }