Ejemplos de ProcedureImp.setCFG en C# (CSharp)

Ejemplo n.º 1

Archivo: StateSpaceAnalyzer.cs Proyecto: uriJuhasz/Boogie_verifier

        ///////////////////////////////////////////////////////
        public ProcedureImp getProcedure(Implementation implementation)
        {
            var p = new ProcedureImp(implementation.Name, program, implementation);

            p.setCFG(StructuredProgramToCFG.makeCFGFromDAG(implementation, boogieProgram, p));
            return(p);
        }