Driver for analyzing (CiaoPP) collections of modulesThis code allows the analysis of large sets of modules in a master-slave architecture, running several CiaoPP instances as separate processes.
Note: this code is not performing multi-modular analysis. Some of its components can be generalized for other processes (compilation, program transformation) and be integrated into the build system, compiler, analyzer, etc.
? - use_module(ciaopp_batch(ciaopp_batch)). ? - analysis_start(Paths, Opts).