next up previous
Next: All Inclusive Up: Running SPOT's Meta Mode Previous: Meta Runs with the

The Report Task for the Meta Mode

If SPOT's termination criterion is fulfilled, a meta report can be generated. A default meta report function is included in the SPOT package: spotReportMetaDefault.
\begin{Schunk} \begin{Sinput} spot(''java0Meta.conf'',''rep'') \end{Sinput}\end{Schunk}
It generates the output shown in Fig. 1.
Figure 1: Default meta report output 
\includegraphics{java0Meta.ps}

The user can choose alternative report functions or even add new report functions to SPOT.


bartz 2010-08-24