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. |
This is the main module to start the executable of the analysis system.
Author: Michael Hanus
Version: December 2018
main
:: IO ()
Main function to start the analysis system. |
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. |