コード例 #1
0
ファイル: InvariantChecker.cs プロジェクト: cubeme/ssharp
            /// <summary>
            ///   Computes the model's initial states.
            /// </summary>
            public void ComputeInitialStates()
            {
                try
                {
                    _states = _context._states;
                    _model.ComputeInitialStates(_transitions);

                    AddStates();
                }
                catch (Exception e)
                {
                    _context._loadBalancer.Terminate();
                    _context._exception = e;

                    var trace   = new[] { _model.ConstructionState, new byte[_model.StateVectorSize] };
                    var choices = new[] { _model.GetLastChoices() };
                    _context._counterExample = new CounterExample(_model, trace, choices, endsWithException: true);
                }
            }