C# (CSharp) Microsoft.Boogie PolymorphismCheckerの例

コード例 #1

ファイル: Monomorphization.cs プロジェクト: emptylambda/RobustIVL

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

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

コード例 #2

ファイル: ExecutionEngine.cs プロジェクト: snidoom/boogie

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