Automata.Z3.Tests.Z3_GenericSTTests.STDecodeTest C# (CSharp) 메소드

        public void STDecodeTest()
        {
            IContext<FuncDecl, Expr, Sort> solver = new Microsoft.Automata.Z3.Z3Provider(BitWidth.BV7);

            var st = MkDecodeWithFinalOutputs(solver, solver.CharSort);

            var stst = st.Compose(st);

            var w = st.Neq1(stst);

            Assert.IsNotNull(w);
        }