예제 #1
0
 public void FinishCurrent()
 {
     if (_current == null)
     {
         _current = _emptyExecutionTrace;
     }
     _traces.Add(_current);
     _current = null;
 }
예제 #2
0
 public void Reset()
 {
     _current = null;
     _traces.Clear();
 }