Module CASS.Main

This is the main module to start the executable of the analysis system.

Author: Michael Hanus

Version: March 2017

Summary of exported operations:

main :: IO ()   
Main function to start the analysis system.

Exported operations:

main :: IO ()   

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.