cprover
model_argc_argv.h File Reference

Initialize command line arguments. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool model_argc_argv (symbol_tablet &symbol_table, goto_functionst &goto_functions, unsigned max_argc, message_handlert &message_handler)
 

Detailed Description

Initialize command line arguments.

Definition in file model_argc_argv.h.

Function Documentation

◆ model_argc_argv()