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