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

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

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

               //st.ShowGraph();

            var st1 = st.Explore();
            //st.AddEOI().ShowGraph();

            //var stst = st1,

            var w = st.Diff(st1, 5);
            Assert.IsNull(w);
        }