Automata.Z3.Tests.Z3_Z3ContextTests.MkFuncDeclTest C# (CSharp) Method

        public void MkFuncDeclTest()
        {
            try
            {
                Z3Provider Z = new Z3Provider();
                var f = Z.MkFuncDecl("foo", Z.IntSort, Z.IntSort);
                var g = Z.MkFuncDecl("foo", Z.IntSort, Z.BoolSort);
                Assert.IsTrue(true);
            }
            catch (AutomataException e)
            {
                Assert.IsTrue(e.kind == AutomataExceptionKind.FunctionIsAlreadyDeclared);
            }
        }