AbsInt Webinar: Batch Mode Execution of Astrée
In this video we introduce the Astrée Batch Mode and show how to use it.
The content includes
An overview about the batch mode options used in this video with some general explanation
Batch mode execution examples on
How to run a batch mode analysis and create a report file
How to create a report without rerunning the analysis
Running an analysis as a user with direct removal of the project from
the server after the completed analysis run
