/// <summary> /// Resets the checker so that a new invariant check can be started. /// </summary> private void Reset() { Context.Reset(); foreach (var worker in _workers) { worker.Reset(); } _states.Clear(_workers[0].TraversalModifierStateVectorSize); _loadBalancer.Reset(); }
/// <summary> /// Resets the checker so that a new invariant check can be started. /// </summary> private void Reset() { Context.Reset(); _states.Clear(); _loadBalancer.Reset(); foreach (var worker in _workers) { worker.Reset(); } }