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 maxreads;
  10         int maxfuturedelay;
  11         bool yieldon;
  12         bool yieldblock;
  13         unsigned int fairwindow;
  14         unsigned int enabledcount;
  15         unsigned int bound;
  16         unsigned int uninitvalue;
  17         int maxexecutions;
  18
  19         /** @brief Maximum number of future values that can be sent to the same
  20          *  read */
  21         int maxfuturevalues;
  22
  23         /** @brief Only generate a new future value/expiration pair if the
  24          *  expiration time exceeds the existing one by more than the slop
  25          *  value */
  26         unsigned int expireslop;
  27
  28         /** @brief Verbosity (0 = quiet; 1 = noisy; 2 = noisier) */
  29         int verbose;
  30
  31         /** @brief Command-line argument count to pass to user program */
  32         int argc;
  33
  34         /** @brief Command-line arguments to pass to user program */
  35         char **argv;
  36 };
  37
  38 #endif /* __PARAMS_H__ */