|
Main function to start the analysis system. With option -s or --server, the server is started on a socket. Otherwise, it is started in batch mode to analyze a single module. |
-
Exported names:
-
Imported modules:
Module CASS.Main
This is the main module to start the executable of the analysis system.
Author: Michael Hanus
Version: October 2023
Summary of exported operations:
main
:: IO () 
Main function to start the analysis system. |