Module CASS.Worker

Implementation of a worker client to analyze a module

Author: Heiko Hoffmann, Michael Hanus

Version: April 2021

Summary of exported operations:

startWorker :: CConfig -> String -> Int -> IO ()  Non-deterministic 

Exported operations:

startWorker :: CConfig -> String -> Int -> IO ()  Non-deterministic