Ejemplos de Microsoft.Boogie PolymorphismChecker en C# (CSharp)

Ejemplo n.º 1

Archivo: Monomorphization.cs Proyecto: emptylambda/RobustIVL

        public static bool IsMonomorphic(Program program)
        {
            var checker = new PolymorphismChecker();

            checker.VisitProgram(program);
            return(checker.isMonomorphic);
        }

Ejemplo n.º 2

Archivo: ExecutionEngine.cs Proyecto: snidoom/boogie

 public static bool IsMonomorphic(Program program)
 {
     var checker = new PolymorphismChecker();
       checker.VisitProgram(program);
       return checker.isMonomorphic;
 }