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