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         int maxexecutions;
  10         bool nofork;
  11         modelclock_t traceminsize;
  12         modelclock_t checkthreshold;
  13         bool removevisible;
  14
  15         /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
  16         int verbose;
  17 };
  18
  19 void param_defaults(struct model_params *params);
  20
  21 #endif  /* __PARAMS_H__ */