********
Epilogue
********

This terminates our tour of GNAT SAS inside the GNAT Programming Studio.
We hope this tutorial gave you a good overview of the general
capabilities available with GNAT SAS. A non-exhaustive list of the
features not mentioned in this document includes:

* Running from the command-line
* HTML report
* Sharing GNAT SAS results in a team
* Management of manual reviews
* Capabilities of Infer, GNATcheck, and GNAT Warnings analysis engines
* Identification of race conditions

For more information, please look at the GNAT SAS User's Guide, as well as the
:menuselection:`Help --> GNATSAS --> Examples` menu which gives access to many
small examples with interesting messages.