params.h

   1 #ifndef __PARAMS_H__
   2 #define __PARAMS_H__
   3
   4 /**
   5  * Model checker parameter structure. Holds run-time configuration options for
   6  * the model checker.
   7  */
   8 struct model_params {
   9         unsigned int enabledcount;
  10         unsigned int bound;
  11         unsigned int uninitvalue;
  12         int maxexecutions;
  13
  14         /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
  15         int verbose;
  16
  17         /** @brief Command-line argument count to pass to user program */
  18         int argc;
  19
  20         /** @brief Command-line arguments to pass to user program */
  21         char **argv;
  22 };
  23
  24 #endif /* __PARAMS_H__ */