C# (CSharp) Microsoft.Dafny.Tacny TacnyDriver.GetTimerの例

コード例 #1

ファイル: ProofState.cs プロジェクト: ggrov/dafny

        public bool IsTimeOut()
        {
            var top = _scope.Peek();

            if (top.FrameCtrl.TimeStamp != 0 && top.FrameCtrl.TimeStamp <= TacnyDriver.GetTimer().Elapsed.Seconds)
            {
                return(true);
            }

            return(false);
        }