/// <summary>
/// Resets the model to its initial state.
/// </summary>
/// <param name="traversalModifierStateVectorSize">Extra bytes in state vector for traversal parameters.</param>
public sealed override void Reset(int traversalModifierStateVectorSize)
{
ChoiceResolver.Clear();
RuntimeModel.Reset();
TemporaryStateStorage.Reset(traversalModifierStateVectorSize);
SavedActivations = RuntimeModel.NondeterministicFaults.Select(fault => fault.Activation).ToArray();
}
/// <summary>
/// Resets the model to its initial state.
/// </summary>
public void Reset()
{
var state = stackalloc byte[_runtimeModel.StateVectorSize];
_states.Clear();
_stateIndex = -1;
if (_counterExample == null)
{
_runtimeModel.Reset();
}
else
{
_counterExample.ReplayInitialState();
}
_runtimeModel.Serialize(state);
AddState(state);
}
/// <summary>
/// Resets the model to its initial state.
/// </summary>
public sealed override void Reset()
{
ChoiceResolver.Clear();
RuntimeModel.Reset();
}
/// <summary>
/// Resets the model to its initial state.
/// </summary>
/// <param name="traversalModifierStateVectorSize">Extra bytes in state vector for traversal parameters.</param>
public sealed override void Reset(int traversalModifierStateVectorSize)
{
ChoiceResolver.Clear();
RuntimeModel.Reset();
TemporaryStateStorage.Reset(traversalModifierStateVectorSize);
}
