AcraTranslator configuration # Here we describe how to set up AcraTranslator to reach a state where it can process queries. List of all command line flags for AcraTranslator is located in Configuring and maintaining. Configuration file # There are two ways of configuring AcraTranslator: via command line flags via configuration file The YAML file is passed with --config_file=path/to/config.yml flag. To use this file as configuration source, you simply move flags into it, --foo=1 will become fo...
