Automata.Z3.Tests.Z3_GenericSTTests.STExploreTest1 C# (CSharp) Method

        public void STExploreTest1()
        {
            IContext<FuncDecl, Expr, Sort> solver = new Microsoft.Automata.Z3.Z3Provider(BitWidth.BV7);
            var st = MkDecodeST(solver, solver.CharSort).ExploreBools();
            var stst = st.Compose(st).ExploreBools();

            //st.ShowGraph();

            //stst.ShowGraph();

            var stst_simpl = stst.ToSTb().Simplify();

            //var sfa = st1.ToSFA().Minimize().NormalizeLabels();

            //sfa.ShowGraph(20);
            var w = stst.Diff(stst_simpl.ToST());
            Assert.IsNotNull(w);
        }