/// <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();
}
}