This module contains predicates for managing the batch analysis of sets of modules.
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(['~/ciao-devel/core/lib/'], [timeout(40), analysis([eterms, gr])]).
Fast load through caching of assertions from libraries is available in ciaopp_worker.
To create and manually update this cache run command: update_lib_cache
The status of the analysis is stored in the `data/` directory:
Option of ciaopp batch (not ciaopp flags)