Automata.Z3.Tests.Z3_STTests.TestCompositionOfGetTags C# (CSharp) Method

        public void TestCompositionOfGetTags()
        {
            STBuilderZ3 stb = new STBuilderZ3(new Z3Provider(BitWidth.BV16));
            STz3 D = MkGetTags(stb, stb.Solver.IntSort);
            STz3 DD = D + D;
            //DD.ShowGraph();
            //check that D and DD are eqivalent up to depth 6
            var w = D.Diff(DD, 6);
            Assert.IsNull(w);
        }