function desiredOrder = getDesiredObjectiveStatusReportingOrder
% getDesiredObjectiveReportingOrder returns the desired order to show the
% objectives in.

% Copyright 2019-2020 The MathWorks, Inc.
desiredOrder = { ...
    'Satisfied', ...
    'Satisfied - needs simulation', ...
    'Undecided with testcase', ...
    'Valid', ...
    'Valid under approximation',...
    'Valid within bound', ...
    'Unsatisfiable', ...
    'Unsatisfiable under approximation',...
    'Falsified', ...
    'Falsified - needs simulation', ...
    'Undecided with counterexample', ...
    'Undecided due to runtime error', ...
    'Undecided due to stubbing', ...
    'Undecided due to nonlinearities', ...
    'Undecided due to division by zero', ...
    'Undecided due to array out of bounds', ...
    'Undecided', ...
    'Satisfied - No Test Case', ...
    'Falsified - No Counterexample', ...
    'n/a', ...
    'Produced error', ...
    'Dead Logic', ...
    'Dead Logic under approximation', ...
    'Active Logic', ...
    'Active Logic - needs simulation', ...
    'Undecided due to approximations', ...
    'Satisfied by coverage data',...
    'Satisfied by existing testcase',...
    'Excluded', ...
    'Justified' ...
};

end
