Automata.Z3.Tests.Z3_RankedAlphabetTests.TestCreationOfTwoAlphabets2 C# (CSharp) Method

        public void TestCreationOfTwoAlphabets2()
        {
            try
            {
                Z3Provider Z = new Z3Provider();
                var A = Z.TT.MkRankedAlphabet("A", Z.IntSort, new string[] { "zero", "one", "two" }, new int[] { 0, 1, 2 });
                var B = Z.TT.MkRankedAlphabet("A", Z.IntSort, new string[] { "zero", "two" }, new int[] { 0, 1 });
                Assert.IsTrue(false, "expecting exception RankedAlphabet_IsAlreadyDefined");
            }
            catch (AutomataException e)
            {
                Assert.IsTrue(e.kind == AutomataExceptionKind.RankedAlphabet_IsAlreadyDefined);
            }
        }