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

        public void EmptyTupleTest()
        {
            Z3Provider Z = new Z3Provider();
            Sort sort = Z.MkTupleSort();
            Expr unit = Z.MkTuple();
            Expr t = Z.MkVar(0, sort);
            Expr t_eq_unit = Z.MkEq(t, unit);
            var v = new List<IValue<Expr>>(Z.MainSolver.FindAllMembers(t_eq_unit));
            Assert.IsTrue(v.Count == 1);
            Assert.AreEqual(unit, v[0].Value);
        }