28 std::cerr <<
"please give a configuration file\n";
39 const std::string &file_name)
44 if(
parse_json(file_name, message_handler, configuration))
57 " crangler [-?] [-h] [--help] show help\n"
58 " crangler file.json ... configuration file names\n"
void c_wrangler(const jsont &config)
void process_crangler_json(const std::string &file_name)
CRANGLER Command Line Option Processing.
Document and give macros for the exit codes of CPROVER binaries.
#define CPROVER_EXIT_INCORRECT_TASK
The command line is correctly structured but cannot be carried out due to missing files,...
bool parse_json(std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest)
std::string banner_string(const std::string &front_end, const std::string &version)
const char * CBMC_VERSION