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