C# (CSharp) TraceTimer Examples

Example #1

        public void SetTraceTimer(HackStartInfo hack, double traceTime)
        {
            var trace = new TraceTimer
            {
                TimeLeft = traceTime,
                Hack     = hack
            };

            _traceTimers.Add(trace);

            TraceStarted?.Invoke();
        }

Example #2

 /// <summary>
 ///     Event used to communicate to the executing FsCheckRunner.
 /// </summary>
 public void InvokeTraceTimer(string additional)
 {
     TraceTimer?.Invoke(additional);
 }