Static evaluation#
Shows the static evaluation of the tabular static analysis and contains the viewers which display the simulation results.
Name#
Shows the name of the evaluation.
Shows the static evaluation of the tabular static analysis and contains the viewers which display the simulation results.
Shows the name of the evaluation.