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 (goto_modelt &, unsigned max_argc, message_handlert &)
 Set up argv with up to max_argc pointers into an array of 4096 bytes. More...
 

Detailed Description

Initialize command line arguments.

Definition in file model_argc_argv.h.

Function Documentation

◆ model_argc_argv()