Ejemplo n.º 1
0
        /// <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();
        }
Ejemplo n.º 2
0
        /// <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);
        }
Ejemplo n.º 3
0
 /// <summary>
 ///   Resets the model to its initial state.
 /// </summary>
 public sealed override void Reset()
 {
     ChoiceResolver.Clear();
     RuntimeModel.Reset();
 }
Ejemplo n.º 4
0
 /// <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);
 }