/// <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> /// <param name="traversalModifierStateVectorSize">Extra bytes in state vector for traversal parameters.</param> public sealed override void Reset(int traversalModifierStateVectorSize) { TemporaryStateStorage.Reset(traversalModifierStateVectorSize); }
/// <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); }