a³ release 13.10

a³ screenshot

New Statistics views

The results statistics moved back from the standalone Results Viewer to the main analyzer window. The new menu entry “Statistics” appears automatically for each analysis as soon as that analysis has finished.

a³ screenshot

Non-WCET cycles in XML reports

It is now possible to trigger output of all timing information, including non-WCET cycles, to the XML report file. This is done under “Configuration”  Analyses”  Reporting”, via the new option “Show per context info in XML report”  Output worst-case execution path in XML report”  Output non-WCET cycles”.

a³ screenshot

Customizable AIS prefix

The prefix for AIS source-code annotations is now customizable under “Configuration”  Analyses”  Common”. The default prefix remains ai.