C# (CSharp) Microsoft.Boogie.Implementation Exemples

Exemple #1

Fichier : SemanticSlicer.cs Projet : uriJuhasz/Boogie_verifier

        public SemanticSlicer(Microsoft.Boogie.Implementation implementation, Microsoft.Boogie.Program boogieProgram)
        {
            Debug.Assert(implementation != null);
            Debug.Assert(boogieProgram != null);

            this.implementation = implementation;
            this.boogieProgram  = boogieProgram;
        }

Exemple #2

Fichier : ExecutorExceptions.cs Projet : ccadar/symbooglix

 public InvalidEntryPoint(Executor executor, Microsoft.Boogie.Implementation impl) : base(executor, "Implementation in not a valid entry point")
 {
     this.Impl = impl;
 }