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

        public void ZeroOneTwoAlphabetTest5()
        {
            Z3Provider z3p = new Z3Provider();
            try
            {
                //empty name or only whitespace
                var A = z3p.TT.MkRankedAlphabet("A", z3p.IntSort, new string[] { "  ", "one", "two" }, new int[] { 0, 1, 2 });
                Assert.IsTrue(false, "expecting exception RankedAlphabet_IsInvalid");
            }
            catch (AutomataException e)
            {
                Assert.IsTrue(AutomataExceptionKind.RankedAlphabet_IsInvalid == e.kind);
            }
        }