C# (CSharp) Microsoft.Boogie OutputPrinter示例

示例#1

文件： Dare.cs 项目： ggrov/tacny

        private void ApplyOptions()
        {
            _errorTrace = DafnyOptions.O.ErrorTrace;
            DafnyOptions.O.ErrorTrace = 0;

            _verifySnapshots = DafnyOptions.O.VerifySnapshots;
            DafnyOptions.O.VerifySnapshots = 1;

            _printer = Bpl.ExecutionEngine.printer;
            Bpl.ExecutionEngine.printer = new InvisibleConsolePrinter();

            Contract.ContractFailed += ContractFailureHandler;
        }