Example #1
0
File: Dare.cs Project: 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;
        }