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

        public void TestCompositionOfDecodeWithFinals()
        {
            STBuilderZ3 stb = new STBuilderZ3(new Z3Provider(BitWidth.BV16));
            TestCompositionOfDecodeWithFinals(stb, stb.Solver.IntSort);
        }